Information for file /usr/share/texinfo/texindex.awk
Name | /usr/share/texinfo/texindex.awk |
---|---|
Digest (sha256) | bf5ca60832134901481d24c5e65dc057d75a7dbfaf4ace0d34be09993e011854 |
Size | 10.82 KB |
Modification time | Sat, 06 Feb 2016 12:24:35 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | texinfo-6.1-3.fc28.0.riscv64.riscv64.rpm |