Sun, 15 Dec 2024 09:42:27 UTC | login

Information for file /usr/include/cadical.hpp

Name/usr/include/cadical.hpp
Digest (sha256)de3667e2ad5141e04e211618f686ea3a1a6e7ae0e5c84ee0f3f5200cb41ce8a1
Size35.65 KB
Modification timeWed, 17 Aug 2022 10:12:36 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcadical-devel-1:1.5.3-2.fc38.riscv64.rpm