Information for file /usr/share/texinfo/texindex.awk
| Name | /usr/share/texinfo/texindex.awk |
|---|---|
| Digest (sha256) | f0b47ab556b815e803158353b611e07dc6687f13db8c5c07fe1c9fa5065f4ad8 |
| Size | 10.82 KB |
| Modification time | Tue, 12 Sep 2017 18:50:30 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | texinfo-6.5-4.el8.x86_64.rpm |
