/DEINSTALL/1.1/Wed Aug  1 16:28:08 2007//
/DESCR/1.2/Mon May 23 08:26:07 2005//
/INSTALL/1.2/Thu Aug  2 02:06:19 2007//
/MESSAGE/1.2/Mon Jul  3 07:01:16 2006//
/Makefile/1.18/Mon Nov  8 01:01:10 2021//
/distinfo/1.6/Mon Nov  8 01:01:10 2021//
/emulator.mk/1.1/Wed Aug  1 16:28:08 2007//
D