Tue, 05 Jul 2022 19:11:38 UTC

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

Name/usr/share/man/man1/cryptominisat4.1.gz
Digest (sha256)2b709d9a4ff6299147f9e1d502803dfc0dc8906d246eac1f02a2b411d36aed83
Size5.47 KB
Modification timeSun, 30 Aug 2015 22:25:36 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcryptominisat4-4.5.3-2.fc23.armv7hl.rpm