Mon, 02 Dec 2024 14:44:30 UTC | login

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

Name/usr/share/man/man1/mktexfmt.1.gz
Digest (sha256)c4ff51f47bda7ce2127a15bc6b5dd36c1ca2ad7e862e3dd8751f950e1bd35086
Size39.00 B
Modification timeSat, 18 Jan 2020 11:09:12 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-kpathsea-7:20190410-8.0.riscv64.fc32.riscv64.rpm