Tue, 05 Jul 2022 19:41:37 UTC

Information for file /usr/bin/cryptominisat4_simple

Name/usr/bin/cryptominisat4_simple
Digest (sha256)a0a56e474dde50bae6fc8d51d5f49728cb31bfdbe4cf7d122102612b71b43e11
Size28.16 KB
Modification timeSun, 30 Aug 2015 22:33:08 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat4-4.5.3-2.fc23.armv7hl.rpm