drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis
|
-rw-r--r-- | 8493 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/README
|
-rw-r--r-- | 1173 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/captions.dn
|
-rw-r--r-- | 13505 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/changes
|
-rw-r--r-- | 18007 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/copying
|
-rw-r--r-- | 3404 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/examples.dn
|
-rw-r--r-- | 115549 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/examples.pdf
|
-rw-r--r-- | 7614 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/hindi.dtx
|
-rw-r--r-- | 4926 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/hindi.ins
|
-rw-r--r-- | 206162 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/hindi.pdf
|
-rw-r--r-- | 555159 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/manual.pdf
|
-rw-r--r-- | 87882 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/manual.tex
|
-rw-r--r-- | 4046 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/misspaal.dn
|
-rw-r--r-- | 27098 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/misspaal.pdf
|
-rw-r--r-- | 2171 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/vedasample.dn
|
-rw-r--r-- | 27802 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/vedasample.pdf
|
-rw-r--r-- | 30634 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/xetex-examples.pdf
|
-rw-r--r-- | 3599 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/xetex-examples.tex
|
-rw-r--r-- | 15279 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/xetex-misspaal.pdf
|
-rw-r--r-- | 4401 | root |
root |
/usr/share/texmf-dist/doc/generic/velthuis/xetex-misspaal.tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis
|
-rw-r--r-- | 12661 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnb10.afm
|
-rw-r--r-- | 12659 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnb8.afm
|
-rw-r--r-- | 12656 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnb9.afm
|
-rw-r--r-- | 12662 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbb10.afm
|
-rw-r--r-- | 12661 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbb8.afm
|
-rw-r--r-- | 12661 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbb9.afm
|
-rw-r--r-- | 12506 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbbi10.afm
|
-rw-r--r-- | 12509 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbbi8.afm
|
-rw-r--r-- | 12509 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbbi9.afm
|
-rw-r--r-- | 12514 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbi10.afm
|
-rw-r--r-- | 12512 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbi8.afm
|
-rw-r--r-- | 12512 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnbi9.afm
|
-rw-r--r-- | 12665 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnc10.afm
|
-rw-r--r-- | 12663 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnc8.afm
|
-rw-r--r-- | 12660 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnc9.afm
|
-rw-r--r-- | 12666 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncb10.afm
|
-rw-r--r-- | 12665 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncb8.afm
|
-rw-r--r-- | 12665 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncb9.afm
|
-rw-r--r-- | 12503 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncbi10.afm
|
-rw-r--r-- | 12506 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncbi8.afm
|
-rw-r--r-- | 12506 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvncbi9.afm
|
-rw-r--r-- | 12514 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnci10.afm
|
-rw-r--r-- | 12512 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnci8.afm
|
-rw-r--r-- | 12512 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnci9.afm
|
-rw-r--r-- | 12651 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvng10.afm
|
-rw-r--r-- | 12649 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvng8.afm
|
-rw-r--r-- | 12646 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvng9.afm
|
-rw-r--r-- | 12654 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngb10.afm
|
-rw-r--r-- | 12653 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngb8.afm
|
-rw-r--r-- | 12653 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngb9.afm
|
-rw-r--r-- | 12491 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngbi10.afm
|
-rw-r--r-- | 12494 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngbi8.afm
|
-rw-r--r-- | 12494 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngbi9.afm
|
-rw-r--r-- | 12498 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngi10.afm
|
-rw-r--r-- | 12496 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngi8.afm
|
-rw-r--r-- | 12496 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvngi9.afm
|
-rw-r--r-- | 12661 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnn10.afm
|
-rw-r--r-- | 12659 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnn8.afm
|
-rw-r--r-- | 12656 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnn9.afm
|
-rw-r--r-- | 12664 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnb10.afm
|
-rw-r--r-- | 12664 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnb8.afm
|
-rw-r--r-- | 12663 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnb9.afm
|
-rw-r--r-- | 12500 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnbi10.afm
|
-rw-r--r-- | 12502 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnbi8.afm
|
-rw-r--r-- | 12503 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnnbi9.afm
|
-rw-r--r-- | 12508 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnni10.afm
|
-rw-r--r-- | 12506 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnni8.afm
|
-rw-r--r-- | 12506 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvnni9.afm
|
-rw-r--r-- | 12466 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpb10.afm
|
-rw-r--r-- | 12460 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpb8.afm
|
-rw-r--r-- | 12452 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpb9.afm
|
-rw-r--r-- | 12461 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpc10.afm
|
-rw-r--r-- | 12458 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpc8.afm
|
-rw-r--r-- | 12450 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpc9.afm
|
-rw-r--r-- | 12450 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpn10.afm
|
-rw-r--r-- | 12446 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpn8.afm
|
-rw-r--r-- | 12438 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpn9.afm
|
-rw-r--r-- | 12459 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpnn10.afm
|
-rw-r--r-- | 12458 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpnn8.afm
|
-rw-r--r-- | 12450 | root |
root |
/usr/share/texmf-dist/fonts/afm/public/velthuis/dvpnn9.afm
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/map/dvips/velthuis
|
-rw-r--r-- | 2627 | root |
root |
/usr/share/texmf-dist/fonts/map/dvips/velthuis/dvng.map
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis
|
-rw-r--r-- | 490 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/devanagarinumerals.map
|
-rw-r--r-- | 239 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/devanagarinumerals.tec
|
-rw-r--r-- | 6144 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/velthuis-sanskrit.map
|
-rw-r--r-- | 2264 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/velthuis-sanskrit.tec
|
-rw-r--r-- | 5840 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/velthuis.map
|
-rw-r--r-- | 2062 | root |
root |
/usr/share/texmf-dist/fonts/misc/xetex/fontmapping/velthuis/velthuis.tec
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis
|
-rw-r--r-- | 138494 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dnchars.mf
|
-rw-r--r-- | 8261 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dndefs.mf
|
-rw-r--r-- | 4976 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dngen.mf
|
-rw-r--r-- | 1038 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dninit.mf
|
-rw-r--r-- | 297 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnb10.mf
|
-rw-r--r-- | 294 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnb8.mf
|
-rw-r--r-- | 294 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnb9.mf
|
-rw-r--r-- | 321 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbb10.mf
|
-rw-r--r-- | 315 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbb8.mf
|
-rw-r--r-- | 315 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbb9.mf
|
-rw-r--r-- | 350 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbbi10.mf
|
-rw-r--r-- | 344 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbbi8.mf
|
-rw-r--r-- | 344 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbbi9.mf
|
-rw-r--r-- | 326 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbi10.mf
|
-rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbi8.mf
|
-rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnbi9.mf
|
-rw-r--r-- | 301 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnc10.mf
|
-rw-r--r-- | 298 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnc8.mf
|
-rw-r--r-- | 298 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnc9.mf
|
-rw-r--r-- | 325 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncb10.mf
|
-rw-r--r-- | 319 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncb8.mf
|
-rw-r--r-- | 319 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncb9.mf
|
-rw-r--r-- | 354 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncbi10.mf
|
-rw-r--r-- | 348 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncbi8.mf
|
-rw-r--r-- | 348 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvncbi9.mf
|
-rw-r--r-- | 330 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnci10.mf
|
-rw-r--r-- | 324 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnci8.mf
|
-rw-r--r-- | 324 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnci9.mf
|
-rw-r--r-- | 229 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvng10.mf
|
-rw-r--r-- | 226 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvng8.mf
|
-rw-r--r-- | 226 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvng9.mf
|
-rw-r--r-- | 339 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngb10.mf
|
-rw-r--r-- | 288 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngb8.mf
|
-rw-r--r-- | 288 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngb9.mf
|
-rw-r--r-- | 368 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngbi10.mf
|
-rw-r--r-- | 317 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngbi8.mf
|
-rw-r--r-- | 317 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngbi9.mf
|
-rw-r--r-- | 344 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngi10.mf
|
-rw-r--r-- | 293 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngi8.mf
|
-rw-r--r-- | 293 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvngi9.mf
|
-rw-r--r-- | 294 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnn10.mf
|
-rw-r--r-- | 291 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnn8.mf
|
-rw-r--r-- | 291 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnn9.mf
|
-rw-r--r-- | 318 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnb10.mf
|
-rw-r--r-- | 315 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnb8.mf
|
-rw-r--r-- | 315 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnb9.mf
|
-rw-r--r-- | 347 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnbi10.mf
|
-rw-r--r-- | 344 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnbi8.mf
|
-rw-r--r-- | 344 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnnbi9.mf
|
-rw-r--r-- | 323 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnni10.mf
|
-rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnni8.mf
|
-rw-r--r-- | 320 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvnni9.mf
|
-rw-r--r-- | 413 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpb10.mf
|
-rw-r--r-- | 409 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpb8.mf
|
-rw-r--r-- | 409 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpb9.mf
|
-rw-r--r-- | 417 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpc10.mf
|
-rw-r--r-- | 413 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpc8.mf
|
-rw-r--r-- | 413 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpc9.mf
|
-rw-r--r-- | 1149 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpn10.mf
|
-rw-r--r-- | 1144 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpn8.mf
|
-rw-r--r-- | 1144 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpn9.mf
|
-rw-r--r-- | 413 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpnn10.mf
|
-rw-r--r-- | 410 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpnn8.mf
|
-rw-r--r-- | 409 | root |
root |
/usr/share/texmf-dist/fonts/source/public/velthuis/dvpnn9.mf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvng10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvng8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvng9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfm
|
-rw-r--r-- | 1572 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfm
|
-rw-r--r-- | 1568 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfm
|
-rw-r--r-- | 1576 | root |
root |
/usr/share/texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfm
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis
|
-rw-r--r-- | 75369 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnb10.pfb
|
-rw-r--r-- | 75798 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnb8.pfb
|
-rw-r--r-- | 77811 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnb9.pfb
|
-rw-r--r-- | 68651 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfb
|
-rw-r--r-- | 69151 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfb
|
-rw-r--r-- | 68603 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfb
|
-rw-r--r-- | 71525 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfb
|
-rw-r--r-- | 69444 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfb
|
-rw-r--r-- | 71400 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfb
|
-rw-r--r-- | 77159 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfb
|
-rw-r--r-- | 76426 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfb
|
-rw-r--r-- | 78323 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfb
|
-rw-r--r-- | 74884 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnc10.pfb
|
-rw-r--r-- | 75136 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnc8.pfb
|
-rw-r--r-- | 76813 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnc9.pfb
|
-rw-r--r-- | 68105 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncb10.pfb
|
-rw-r--r-- | 68318 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncb8.pfb
|
-rw-r--r-- | 67761 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncb9.pfb
|
-rw-r--r-- | 70843 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfb
|
-rw-r--r-- | 68764 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfb
|
-rw-r--r-- | 70895 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfb
|
-rw-r--r-- | 76285 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnci10.pfb
|
-rw-r--r-- | 75883 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnci8.pfb
|
-rw-r--r-- | 77727 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnci9.pfb
|
-rw-r--r-- | 75458 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvng10.pfb
|
-rw-r--r-- | 75928 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvng8.pfb
|
-rw-r--r-- | 78789 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvng9.pfb
|
-rw-r--r-- | 71694 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngb10.pfb
|
-rw-r--r-- | 71091 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngb8.pfb
|
-rw-r--r-- | 70286 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngb9.pfb
|
-rw-r--r-- | 72594 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfb
|
-rw-r--r-- | 70797 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfb
|
-rw-r--r-- | 71461 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfb
|
-rw-r--r-- | 78484 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngi10.pfb
|
-rw-r--r-- | 78176 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngi8.pfb
|
-rw-r--r-- | 78366 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvngi9.pfb
|
-rw-r--r-- | 74835 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnn10.pfb
|
-rw-r--r-- | 75385 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnn8.pfb
|
-rw-r--r-- | 77070 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnn9.pfb
|
-rw-r--r-- | 68254 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfb
|
-rw-r--r-- | 68395 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfb
|
-rw-r--r-- | 67822 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfb
|
-rw-r--r-- | 70752 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfb
|
-rw-r--r-- | 68857 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfb
|
-rw-r--r-- | 70886 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfb
|
-rw-r--r-- | 76679 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnni10.pfb
|
-rw-r--r-- | 76030 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnni8.pfb
|
-rw-r--r-- | 77844 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvnni9.pfb
|
-rw-r--r-- | 77469 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpb10.pfb
|
-rw-r--r-- | 76763 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpb8.pfb
|
-rw-r--r-- | 75879 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpb9.pfb
|
-rw-r--r-- | 76893 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpc10.pfb
|
-rw-r--r-- | 76317 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpc8.pfb
|
-rw-r--r-- | 76873 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpc9.pfb
|
-rw-r--r-- | 79504 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpn10.pfb
|
-rw-r--r-- | 77390 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpn8.pfb
|
-rw-r--r-- | 78175 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpn9.pfb
|
-rw-r--r-- | 78975 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfb
|
-rw-r--r-- | 77029 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfb
|
-rw-r--r-- | 77631 | root |
root |
/usr/share/texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfb
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/generic/velthuis
|
-rw-r--r-- | 4070 | root |
root |
/usr/share/texmf-dist/tex/generic/velthuis/hindi.ldf
|
-rw-r--r-- | 3503 | root |
root |
/usr/share/texmf-dist/tex/generic/velthuis/hindi.sty
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis
|
-rw-r--r-- | 3205 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/dev.sty
|
-rw-r--r-- | 4049 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/dev209.sty
|
-rw-r--r-- | 26454 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/devanagari.sty
|
-rw-r--r-- | 2794 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/dvngcite.sty
|
-rw-r--r-- | 2626 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udn.fd
|
-rw-r--r-- | 2366 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnb.fd
|
-rw-r--r-- | 2372 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnc.fd
|
-rw-r--r-- | 2367 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnn.fd
|
-rw-r--r-- | 2058 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnp.fd
|
-rw-r--r-- | 2251 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnpb.fd
|
-rw-r--r-- | 2259 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnpc.fd
|
-rw-r--r-- | 2251 | root |
root |
/usr/share/texmf-dist/tex/latex/velthuis/udnpn.fd
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/plain/velthuis
|
-rw-r--r-- | 19599 | root |
root |
/usr/share/texmf-dist/tex/plain/velthuis/dnmacs.tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/xelatex/velthuis
|
-rw-r--r-- | 1957 | root |
root |
/usr/share/texmf-dist/tex/xelatex/velthuis/hindicaptions.sty
|