Tue, 18 Jun 2024 20:14:27 UTC | login

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

Name/usr/share/man/man1/cryptominisat5.1.gz
Digest (sha256)057bd457cf6e602a741c3aaea01540a72ac90109865cb255ceba3bcfb9950e23
Size4.77 KB
Modification timeMon, 14 Jan 2019 04:20:21 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcryptominisat-5.6.6-1.fc30.riscv64.rpm