Tue, 11 Jun 2024 17:39:48 UTC | login

Information for file /usr/bin/cryptominisat5_simple

Name/usr/bin/cryptominisat5_simple
Digest (sha256)90f1d7e2a9a96014dc3034fdffaafceefb40d28db1bc293c0ac458343842c2ed
Size44.84 KB
Modification timeWed, 10 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMcryptominisat-5.8.0-15.rvre0.fc40.riscv64.rpm