Information for file /usr/bin/cryptominisat5
Name | /usr/bin/cryptominisat5 |
---|---|
Digest (sha256) | 772cd3a7c65c30aa4c3201a5e7a44a3a2fe2597700386f37e7d71645e871fa00 |
Size | 299.99 KB |
Modification time | Sun, 19 Aug 2018 15:52:12 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | cryptominisat-5.6.4-1.fc29.riscv64.rpm |