Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | 221e60f1f19fec548a6e9c40efbdc6dd1b75a24070cd1b2cdc5a0b3746b382da |
| Size | 12.43 MB |
| Modification time | Thu, 13 Feb 2020 08:26:04 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.181-1.fc33.src.rpm |
