Information for file Yices-2.6.0.tar.gz
| Name | Yices-2.6.0.tar.gz |
|---|---|
| Digest (sha256) | 22d4db2306c8b2a87ec18208a431750d65f370b9d554d7293c1d4ab4e2c13382 |
| Size | 8.52 MB |
| Modification time | Thu, 05 Jul 2018 03:23:27 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | yices-2.6.0-2.fc29.src.rpm |
