texmf-dist/doc/latex/vdm/vdm.dvi texmf-dist/doc/latex/vdm/vdm.tex texmf-dist/tex/latex/vdm/vdm.sty texmf-dist/tpm/vdm.tpm texmf/lists/vdm