/DESCR/1.2/Tue Nov 27 16:28:44 2001// /distinfo/1.18/Mon Nov 8 01:01:25 2021// /Makefile/1.51/Fri Jul 7 01:00:43 2023// D