Sun, 02 Jun 2024 18:42:57 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)d4fb31e343fa6d3f09565d4f48fb56a66ebe6866c4f4474068c0f3baef59e939
Size247.72 KB
Modification timeMon, 08 Jun 2020 07:27:06 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.7.1-3.fc33.riscv64.rpm