Mon, 02 Dec 2024 02:24:24 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)c6c7faf11efcda8a324cb2d5bcf19c6fa7790dce8006286996831739ac414487
Size271.81 KB
Modification timeTue, 24 Jul 2018 15:18:44 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.6.3-3.fc29.riscv64.rpm