Tue, 07 Jan 2025 04:28:53 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)772cd3a7c65c30aa4c3201a5e7a44a3a2fe2597700386f37e7d71645e871fa00
Size299.99 KB
Modification timeSun, 19 Aug 2018 15:52:12 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.6.4-1.fc29.riscv64.rpm