Mon, 11 Nov 2024 19:26:42 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)c39e675f36252906d53417f89ec359c685983daaa3a19675bfcb3b7222711de6
Size416.60 KB
Modification timeTue, 30 Jul 2019 10:45:37 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.6.8-2.fc31.riscv64.rpm