Information for file metamath.tar.bz2
| Name | metamath.tar.bz2 |
|---|---|
| Digest (sha256) | 0fe8255ac5af338670845e1e496905f8253b6cdaa62b5efb663f4de31232799b |
| Size | 14.36 MB |
| Modification time | Sun, 08 Aug 2021 14:23:51 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | metamath-0.198-7.fc40.src.rpm |
