Thu, 05 Dec 2024 03:53:35 UTC | login

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

Name/usr/share/metamath/hol.mm
Digest (sha256)c5161fad165aa84e05671ba3c6e92c779dd88567584b1275d717a494b4a0860e
Size85.25 KB
Modification timeTue, 14 Jul 2020 23:31:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.186-1.fc33.noarch.rpm