/DESCR/1.1.1.1/Sat Oct 22 16:47:39 2005// /distinfo/1.11/Sun May 21 01:00:52 2023// /Makefile/1.30/Fri Jul 7 01:00:33 2023// D