Information for file minisat2_2.2.1.orig.tar.gz
| Name | minisat2_2.2.1.orig.tar.gz |
|---|---|
| Digest (sha256) | e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 |
| Size | 43.19 KB |
| Modification time | Sun, 20 Mar 2016 00:15:35 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | minisat2-2.2.1-9.fc33.src.rpm |
