drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/doc/latex/play
|
-rw-r--r-- | 414 | root |
root |
/usr/share/texmf-dist/doc/latex/play/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/source/latex/play
|
-rw-r--r-- | 12160 | root |
root |
/usr/share/texmf-dist/source/latex/play/play.dtx
|
-rw-r--r-- | 577 | root |
root |
/usr/share/texmf-dist/source/latex/play/play.ins
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/latex/play
|
-rw-r--r-- | 4666 | root |
root |
/usr/share/texmf-dist/tex/latex/play/play.cls
|
-rw-r--r-- | 3666 | root |
root |
/usr/share/texmf-dist/tex/latex/play/play.sty
|