Mon, 25 Nov 2024 15:57:38 CST | login

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

Name/usr/share/man/man1/mf.1.gz
Digest (sha256)0bd71c91ff7a334b1bc9228ed633c53449bab972ede2ef7edd556d07b4330a5c
Size5.18 KB
Modification timeFri, 26 May 2023 15:30:12 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-metafont-7:20180414-28.el8.x86_64.rpm