Tue, 03 Dec 2024 14:49:36 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, 21 Nov 2020 16:48:03 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-kpathsea-7:20200327-18.1.riscv64.fc33.riscv64.rpm