Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | 3fdefb9de9cfda27682be14995f4b05ca15dd0e4e67b3df16f5651510d4a9e98 |
| Size | 12.68 MB |
| Modification time | Sun, 12 Apr 2020 21:27:21 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.182-1.fc33.src.rpm |
