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 | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | minisat2-2.2.1-19.fc40.src.rpm |
