Information for file /usr/share/metamath/iset.mm
| Name | /usr/share/metamath/iset.mm |
|---|---|
| Digest (sha256) | 2721e549dc351977308d5591c9fb6b7aa06a291fb1b10c69f589452ba5fed673 |
| Size | 1.79 MB |
| Modification time | Mon, 24 Dec 2018 01:36:42 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | metamath-theories-0.171-1.fc30.noarch.rpm |
