Information for file metamath.tex
| Name | metamath.tex |
|---|---|
| Digest (sha256) | bfc66576d9d037fd436472744a2dfc81dc2880b70bacb4934ed6f9381f031284 |
| Size | 708.43 KB |
| Modification time | Sun, 02 Jun 2019 21:02:05 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.198-7.fc40.src.rpm |
