Thu, 12 Dec 2024 17:29:35 UTC | login

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

Name/usr/share/metamath/set.mm
Digest (sha256)a059621dda7c3245d660270e951e5540c6b65f7700b7bb90e9219ed9181db510
Size41.20 MB
Modification timeSat, 07 Aug 2021 22:59:48 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.198-7.fc40.noarch.rpm