/DESCR/1.1/Wed Oct 31 22:53:40 2001// /PLIST/1.5/Mon Jun 15 01:09:09 2009// /distinfo/1.16/Mon Nov 8 01:02:19 2021// /Makefile/1.47/Wed Dec 20 01:01:03 2023// D