Information for file /usr/share/metamath/set.mm
| Name | /usr/share/metamath/set.mm |
|---|---|
| Digest (sha256) | b846ef97adce6121243f202b1e4c78b7188775f76fd22f11a458e4f9038a4f8f |
| Size | 32.13 MB |
| Modification time | Sat, 29 Dec 2018 17:10:59 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | metamath-theories-0.171-1.fc30.noarch.rpm |
