Wed, 27 Nov 2024 19:41:57 UTC | login

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

Name/usr/share/man/man1/cadical.1.gz
Digest (sha256)0c25ea3201aa8b9a6ddd7b225b8aed0764b67e8b1a1a1862a1e5eda58f0e7f5c
Size4.38 KB
Modification timeSat, 16 Sep 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcadical-1:1.7.4-1.fc40.riscv64.rpm