/DESCR/1.1.1.1/Fri Oct 18 09:36:01 2002// /PLIST/1.23/Fri Mar 3 01:00:31 2023// /distinfo/1.31/Fri Mar 3 01:00:31 2023// /Makefile/1.79/Thu Nov 9 01:00:34 2023// D