Tue, 07 Jan 2025 04:33:22 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)73ba3aa8f5077c380657bd2bf7317543117481d6bcc8355be9869e4cfbaa730f
Size48.56 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