Wed, 06 Jul 2022 19:46:09 UTC

Information for file /usr/bin/cryptominisat4

Name/usr/bin/cryptominisat4
Digest (sha256)f4cf3755deaf213807b306793401236f471e8d5be380c1372ac469f4105802e4
Size165.78 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