Thu, 05 Dec 2024 02:20:29 UTC | login

Information for file /usr/share/man/man1/metamath.1.gz

Name/usr/share/man/man1/metamath.1.gz
Digest (sha256)1d4a1ab77e1610c0910662d85d4f81c193facff1e9b04d36dc500d324599a622
Size1.93 KB
Modification timeSat, 27 Apr 2019 16:16:35 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmetamath-0.177-2.fc31.riscv64.rpm