Fri, 10 May 2024 01:57:14 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)e54dbe624ba5a89d6b69eb8a9aeb3aa4d5d00b07cb99c260c091dc05942ed9b8
Size37.00 KB
Modification timeMon, 26 Sep 2022 10:32:14 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.8.0-10.fc37.riscv64.rpm