Wed, 04 Dec 2024 19:47:28 CET | login

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

Name/usr/share/man/man1/mktexfmt.1.gz
Digest (sha256)c4ff51f47bda7ce2127a15bc6b5dd36c1ca2ad7e862e3dd8751f950e1bd35086
Size39
Modification timeFri, 20 Nov 2015 14:46:04 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-kpathsea-2:svn28792.0-38.el7.noarch.rpm