Wed, 11 Dec 2024 18:36:12 UTC | login

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

Name/usr/share/man/man1/mf.1.gz
Digest (sha256)4f3d162d5dacba7b55d0cfca084fca8eae2fd6d81a2d0975e64bcf4f86033ce0
Size5.18 KB
Modification timeFri, 17 Jan 2020 22:24:51 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-metafont-7:20190410-7.0.riscv64.fc32.riscv64.rpm