Information for file /usr/share/metamath/demo0.mm
Name | /usr/share/metamath/demo0.mm |
---|---|
Digest (sha256) | b68d7488bdbf2d55d1a955f3a6a3efac68ca9e3009d24f867e1a75aacb7b03d3 |
Size | 1.32 KB |
Modification time | Thu, 23 Jun 2005 17:58:46 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | metamath-theories-0.162-1.fc29.noarch.rpm |