Fri, 13 Dec 2024 14:12:05 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.198-8.fc41.noarch.rpm