Thu, 31 Oct 2024 23:04:28 UTC | login

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

Name/usr/share/metamath/ql.mm
Digest (sha256)bae1cf8e9d6d46ce404aee82e94e07f7bd715877da40d76345e71d11bfc16fcd
Size559.11 KB
Modification timeTue, 14 Jul 2020 23:31:15 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.196-1.fc33.noarch.rpm