Thu, 18 Aug 2022 02:39:42 UTC

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

Name/usr/share/man/man1/mf.1.gz
Digest (sha256)0bd71c91ff7a334b1bc9228ed633c53449bab972ede2ef7edd556d07b4330a5c
Size5306
Modification timeSat, 04 Dec 2021 09:18:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-metafont-7:20180414-25.el8.i686.rpm