Thu, 05 Dec 2024 02:15:21 UTC | login

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

Name/usr/share/metamath/ql.mm
Digest (sha256)6f8253afbb955b1ad771c0f344dce4143697ff546072e2c916d9134ad2b0d485
Size559.30 KB
Modification timeThu, 15 Oct 2015 12:34:10 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.177-2.fc31.noarch.rpm