/DEINSTALL/1.1/Wed Aug  1 16:28:08 2007//Tpkgsrc-2017Q3
/DESCR/1.2/Mon May 23 08:26:07 2005//Tpkgsrc-2017Q3
/INSTALL/1.2/Wed Aug  1 16:28:08 2007//Tpkgsrc-2017Q3
/MESSAGE/1.2/Sun Jul  2 10:05:55 2006//Tpkgsrc-2017Q3
/Makefile/1.15/Mon Aug 21 12:49:16 2017//Tpkgsrc-2017Q3
/distinfo/1.4/Tue Nov  3 20:30:56 2015//Tpkgsrc-2017Q3
/emulator.mk/1.1/Wed Aug  1 16:28:08 2007//Tpkgsrc-2017Q3
D
