Fri, 10 May 2024 14:00:36 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)08aff91e72237b87d0c2fb3d212a4bb1696272e9d25153adf65516f620db9196
Size218.98 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