Thu, 31 Oct 2024 22:48:16 UTC | login

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

Name/usr/share/metamath/set.mm
Digest (sha256)53c484aa38e273c424c72ea789081a8319af23080253b0013413fd9f67468718
Size39.19 MB
Modification timeSun, 03 Jan 2021 23:29:50 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.196-1.fc33.noarch.rpm