Thu, 05 Dec 2024 02:18:12 UTC | login

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

Name/usr/share/metamath/nf.mm
Digest (sha256)61b8d7e4c29fd6ca45ec42cef73dedd71947f9fde8b4254f9efa66bff1f82368
Size2.82 MB
Modification timeTue, 29 May 2018 01:16:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-theories-0.177-2.fc31.noarch.rpm