Information for file /usr/share/metamath/iset.mm
| Name | /usr/share/metamath/iset.mm |
|---|---|
| Digest (sha256) | 05c3737d9d330ceceb36552c342ebb53ab017e72a5f31a67565c55a158cb3ad3 |
| Size | 4.24 MB |
| Modification time | Sat, 29 Aug 2020 14:46:58 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | metamath-theories-0.193-1.fc33.noarch.rpm |
