Wed, 12 Jun 2024 23:29:08 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)b588b8aca3276cb47c9e384c2d594e571d689db13a9a6680e7ce09c6788e6ba6
Size32.84 KB
Modification timeThu, 24 Dec 2020 13:05:27 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.8.0-1.fc33.riscv64.rpm