Information for file Yices-2.5.4.tar.gz
| Name | Yices-2.5.4.tar.gz |
|---|---|
| Digest (sha256) | f7403328d7d0b3973ffac61fe674d5b8030dd4806c75f3de2cfb8fd81aad1ccd |
| Size | 8.34 MB |
| Modification time | Thu, 04 Jan 2018 00:57:14 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | yices-2.5.4-3.fc29.src.rpm |
