Files
| -rwxr-xr-x | 34740 | root | root | /usr/bin/detex |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/detex-2.8 |
| -rw-r--r-- | 1660 | root | root | /usr/share/doc/detex-2.8/COPYRIGHT |
| -rw-r--r-- | 7096 | root | root | /usr/share/doc/detex-2.8/README |
| -rw-r--r-- | 1898 | root | root | /usr/share/man/man1/detex.1.gz |
