Fri, 13 Dec 2024 07:16:50 UTC | login

Information for file /usr/share/metamath/miu.mm

Name/usr/share/metamath/miu.mm
Digest (sha256)43ead5a0b37e968462cd66331dec324d42959c8f54460eab35cfb869b423d3f2
Size4.54 KB
Modification timeTue, 21 Oct 2008 02:17:28 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.163-1.fc29.noarch.rpm