Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | 3f19244acb61bf553d5077e884f7867ed30ac904740cc6cce06624733a3f56b1 |
| Size | 13.35 MB |
| Modification time | Mon, 14 Sep 2020 20:03:23 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.193-1.fc33.src.rpm |
