| drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/doc/latex/othello
|
| -rw-r--r-- | 13792 | root |
root |
/usr/share/texmf-dist/doc/latex/othello/boards.tex
|
| -rw-r--r-- | 321 | root |
root |
/usr/share/texmf-dist/doc/latex/othello/ot.bat
|
| -rw-r--r-- | 321 | root |
root |
/usr/share/texmf-dist/doc/latex/othello/ot1.bat.bat
|
| -rw-r--r-- | 29133 | root |
root |
/usr/share/texmf-dist/doc/latex/othello/othello.tex
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello
|
| -rw-r--r-- | 7633 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot.mf
|
| -rw-r--r-- | 202 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot10.mf
|
| -rw-r--r-- | 202 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot15.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1bla10.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1bla15.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1bla20.mf
|
| -rw-r--r-- | 18875 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1black.mf
|
| -rw-r--r-- | 18299 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1neu.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1neu10.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1neu15.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1neu20.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1whi10.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1whi15.mf
|
| -rw-r--r-- | 216 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1whi20.mf
|
| -rw-r--r-- | 18854 | root |
root |
/usr/share/texmf-dist/fonts/source/public/othello/ot1white.mf
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello
|
| -rw-r--r-- | 136 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot10.tfm
|
| -rw-r--r-- | 136 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot15.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1bla10.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1bla15.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1bla20.tfm
|
| -rw-r--r-- | 328 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1neu10.tfm
|
| -rw-r--r-- | 328 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1neu15.tfm
|
| -rw-r--r-- | 328 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1neu20.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1whi10.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1whi15.tfm
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/othello/ot1whi20.tfm
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/latex/othello
|
| -rw-r--r-- | 7045 | root |
root |
/usr/share/texmf-dist/tex/latex/othello/othello.sty
|
