Information for file cryptominisat-5.7.0.tar.gz
Name | cryptominisat-5.7.0.tar.gz |
---|---|
Digest (sha256) | 64908cd8037abb46cc4c4e6cd00aeb8f196fda1e628e9e0eda6c67147fe5e76b |
Size | 862.12 KB |
Modification time | Sat, 25 Apr 2020 22:11:13 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | cryptominisat-5.7.0-1.fc33.src.rpm |