Sun, 15 Dec 2024 20:36:36 UTC | login

Information for file /usr/share/man/man1/cadical.1.gz

Name/usr/share/man/man1/cadical.1.gz
Digest (sha256)36d4bba6f72928aa5797c1d07118ae63626cf9c7843aca966e0a8528f312dde9
Size4.25 KB
Modification timeWed, 18 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcadical-1:1.5.3-2.fc38.riscv64.rpm