/Makefile/1.14/Thu Jul 24 06:13:21 2008//Tnetbsd-10
/veriexecctl.8/1.40/Mon Jul  3 21:33:42 2017//Tnetbsd-10
/veriexecctl.c/1.40/Tue Jan 10 20:48:12 2017//Tnetbsd-10
/veriexecctl.h/1.12/Sat Jun  6 22:36:39 2020//Tnetbsd-10
/veriexecctl_conf.l/1.15/Tue May 24 12:06:25 2011//Tnetbsd-10
/veriexecctl_parse.y/1.26/Mon Mar 16 13:38:09 2009//Tnetbsd-10
D