Information for file minisat2.spec
| Name | minisat2.spec |
|---|---|
| Digest (sha256) | 3c71c10dcb7839abae2c35eafbe577532ac8e0b1187fa9b44f05a4d80c308a7f |
| Size | 9.93 KB |
| Modification time | Tue, 08 Nov 2022 09:12:01 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | minisat2-2.2.1-15.fc37.src.rpm |
