/DESCR/1.1.1.1/Sat Nov 6 21:25:00 2004// /distinfo/1.5/Mon Nov 8 01:00:58 2021// /Makefile/1.25/Fri Jul 7 01:00:33 2023// D