Sun, 19 May 2024 20:31:52 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)33b7a951736be9713b545dc3a53713bb958c7b9c41a48c75605d4bde29641b77
Size45.42 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