Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | d35660897ae71549bf484433fca18176541660068606c81f171b5a504eacaf89 |
| Size | 10.92 MB |
| Modification time | Thu, 03 Jan 2019 03:31:32 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.171-1.fc30.src.rpm |
