Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | ecb95fb6aeca84694081d2e85957a42fb088a9b945c38f8f7b0bca8fd132aa79 |
| Size | 11.29 MB |
| Modification time | Mon, 12 Aug 2019 14:25:31 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.178-1.fc31.src.rpm |
