Files
drwxr-xr-x | 4096 | root | root | /usr/share/texmf-dist/doc/otherformats/xmltex/xmlplay |
-rw-r--r-- | 514 | root | root | /usr/share/texmf-dist/doc/otherformats/xmltex/xmlplay/readme |
drwxr-xr-x | 4096 | root | root | /usr/share/texmf-dist/source/xmltex/xmlplay |
-rw-r--r-- | 1217 | root | root | /usr/share/texmf-dist/source/xmltex/xmlplay/play.dtd |
drwxr-xr-x | 4096 | root | root | /usr/share/texmf-dist/tex/xmltex/xmlplay |
-rw-r--r-- | 2503 | root | root | /usr/share/texmf-dist/tex/xmltex/xmlplay/play.xmt |