Fri, 13 Dec 2024 09:49:39 UTC | login

Information for file /usr/bin/cryptominisat5

Name/usr/bin/cryptominisat5
Digest (sha256)5c22f4ad0c89f18595e3ed5c23d94d160e0363ddfcd7dcf2e1d4220fb394e818
Size242.71 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