Fri, 29 Mar 2024 11:01:21 CET | login

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

Name/usr/share/man/man1/texindex.1.gz
Digest (sha256)973efa329819dcfe2a21dd28c99079965713982cc829b3953d91fc9054998af3
Size733
Modification timeTue, 12 Mar 2013 23:56:56 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexinfo-tex-5.1-4.el7.x86_64.rpm