Mon, 23 Dec 2024 07:08:29 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)fce4557b46bcb8a2932b0d632d9effd4f9cb728a70bcfae8e0656127bb2cb403
Size360.80 KB
Modification timeWed, 05 Dec 2018 05:07:44 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.6.5-1.fc30.riscv64.rpm