Wed, 03 Mar 2021 23:43:41 UTC

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

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