Thu, 12 Dec 2024 18:42:26 UTC | login

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

Name/usr/share/metamath/iset.mm
Digest (sha256)95705860635a82500dffc48732e565a359ae6555df3a5b4518c9a884a8120ef0
Size3.28 MB
Modification timeWed, 12 Feb 2020 16:19:15 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.181-1.fc33.noarch.rpm