drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/doc/fonts/doublestroke
|
-rw-r--r-- | 4762 | root |
root |
/usr/share/texmf-dist/doc/fonts/doublestroke/README
|
-rw-r--r-- | 100533 | root |
root |
/usr/share/texmf-dist/doc/fonts/doublestroke/dsdoc.pdf
|
-rw-r--r-- | 12451 | root |
root |
/usr/share/texmf-dist/doc/fonts/doublestroke/dsdoc.tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/map/dvips/doublestroke
|
-rw-r--r-- | 159 | root |
root |
/usr/share/texmf-dist/fonts/map/dvips/doublestroke/dstroke.map
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke
|
-rw-r--r-- | 1403 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsrom.mf
|
-rw-r--r-- | 3692 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsrom10.mf
|
-rw-r--r-- | 3712 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsrom12.mf
|
-rw-r--r-- | 3698 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsrom8.mf
|
-rw-r--r-- | 7012 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsromo.mf
|
-rw-r--r-- | 47495 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsromu.mf
|
-rw-r--r-- | 3684 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsss10.mf
|
-rw-r--r-- | 3687 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsss12.mf
|
-rw-r--r-- | 3681 | root |
root |
/usr/share/texmf-dist/fonts/source/public/doublestroke/dsss8.mf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke
|
-rw-r--r-- | 452 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsrom10.tfm
|
-rw-r--r-- | 452 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsrom12.tfm
|
-rw-r--r-- | 452 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsrom8.tfm
|
-rw-r--r-- | 460 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsss10.tfm
|
-rw-r--r-- | 468 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsss12.tfm
|
-rw-r--r-- | 452 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/doublestroke/dsss8.tfm
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke
|
-rw-r--r-- | 17014 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsrom10.pfb
|
-rw-r--r-- | 17091 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsrom12.pfb
|
-rw-r--r-- | 17066 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsrom8.pfb
|
-rw-r--r-- | 12746 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsss10.pfb
|
-rw-r--r-- | 12760 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsss12.pfb
|
-rw-r--r-- | 12663 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/doublestroke/dsss8.pfb
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/latex/doublestroke
|
-rw-r--r-- | 211 | root |
root |
/usr/share/texmf-dist/tex/latex/doublestroke/Udsrom.fd
|
-rw-r--r-- | 210 | root |
root |
/usr/share/texmf-dist/tex/latex/doublestroke/Udsss.fd
|
-rw-r--r-- | 230 | root |
root |
/usr/share/texmf-dist/tex/latex/doublestroke/dsfont.sty
|