Information for file cvc4-1.8.tar.gz
| Name | cvc4-1.8.tar.gz |
|---|---|
| Digest (sha256) | 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 |
| Size | 7.20 MB |
| Modification time | Sun, 21 Jun 2020 17:35:27 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | cvc4-1.8-15.rvre0.fc38.src.rpm |
