Sun, 16 Jun 2024 22:44:27 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)676ffe62893833f5b05cd08ab64d2bf350c53d15989a120b68ea5c7efda40c55
Size45.42 KB
Modification timeThu, 07 May 2020 18:49:26 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.7.1-1.fc33.riscv64.rpm