Sat, 09 Nov 2024 22:48:59 UTC | login

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

Name/usr/share/man/man1/kpsetool.1.gz
Digest (sha256)588daa2c2db215cc5be8c01fa83ef862dd009c1577177d2daaa7f081c8ee570c
Size1.07 KB
Modification timeSat, 23 Jun 2018 09:02:16 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-tetex-7:20180414-12.0.riscv64.fc29.noarch.rpm