/DESCR/1.1/Wed Oct 31 22:57:32 2001// /PLIST/1.2/Sat Aug 6 06:19:28 2005// /distinfo/1.9/Mon Nov 8 01:01:55 2021// /Makefile/1.36/Fri Jul 7 01:00:54 2023// D