Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | 687f76198e1ebd6b5ab43ad83b21253ef02afc9393020b4ea17a8b83e9b8f5ae |
| Size | 11.27 MB |
| Modification time | Sun, 28 Apr 2019 02:19:12 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.177-1.fc31.src.rpm |
