Thu, 05 Dec 2024 01:02:55 UTC | login

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

Name/usr/share/man/man1/texindex.1.gz
Digest (sha256)ac81811649f3fe8c76591cef4ef32a79b0088681e4c0a5b68b6f5437718f5b20
Size737.00 B
Modification timeTue, 12 Sep 2017 18:59:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexinfo-tex-6.5-1.fc28.riscv64.rpm