Information for file /usr/share/man/man1/texindex.1.gz
Name | /usr/share/man/man1/texindex.1.gz |
---|---|
Digest (sha256) | ac81811649f3fe8c76591cef4ef32a79b0088681e4c0a5b68b6f5437718f5b20 |
Size | 737.00 B |
Modification time | Tue, 12 Sep 2017 18:59:44 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | texinfo-tex-6.5-1.fc28.riscv64.rpm |