Thu, 12 Dec 2024 04:54:38 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.194-1.fc33.riscv64.rpm