vdm: List of files

This package includes 4 files with a total size of 253118 bytes.

Name Directory
texmf\tpm\packages\vdm.tpm
texmf\tex\latex\vdm\vdm.sty
texmf\doc\latex\vdm\vdm.pdf
texmf\source\vdm-src.tar.xz