/DESCR/1.2/Tue May 6 17:40:41 2003// /PLIST/1.1/Wed Oct 31 21:50:46 2001// /distinfo/1.8/Mon Nov 8 01:00:40 2021// /Makefile/1.26/Sun Dec 31 01:00:31 2023// D