/configure/1.1.1.1/Thu Aug 10 11:49:54 1995//
/distpkt.c/1.1.1.2/Thu Aug 10 11:49:56 1995//
/distpkt.h/1.1.1.2/Thu Aug 10 11:49:56 1995//
/Makefile/1.3/Thu Nov  9 07:10:51 1995//
