/patch-Makefile_build/1.3/Fri Nov  8 23:11:48 2013//TOPENBSD_6_0_BASE
/patch-configure/1.6/Fri Jun 19 21:25:32 2015//TOPENBSD_6_0_BASE
/patch-coqmktmp_ml/1.1/Fri Jun 24 15:59:12 2016//TOPENBSD_6_0_BASE
D
