Information for file metamath.tex
| Name | metamath.tex |
|---|---|
| Digest (sha256) | a2404a77199a6ba08010fb86f340c17fdd07817aeedc457d9d155865c8656645 |
| Size | 697.85 KB |
| Modification time | Sat, 27 Apr 2019 16:19:26 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.177-1.fc31.src.rpm |
