Thu, 12 Dec 2024 18:38:16 UTC | login

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

Name/usr/share/metamath/set.mm
Digest (sha256)5ee3a996ee37eb9708617c398546d6847b57521e94e41b0da34dc333690641cd
Size35.60 MB
Modification timeWed, 12 Feb 2020 16:19:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.181-1.fc33.noarch.rpm