/Makefile/1.1/Tue Oct  1 20:32:30 2013//TOPENBSD_5_7
/vdmtool.8/1.2/Tue Oct  1 22:24:53 2013//TOPENBSD_5_7
/vdmtool.c/1.5/Thu Aug 14 17:55:28 2014//TOPENBSD_5_7
D
