/control1/1.2/Sun Dec 22 20:07:45 2002//
/postinst/1.1/Thu Dec 19 23:03:20 2002//
/postrm/1.1/Thu Dec 19 23:03:20 2002//
D/dist////
