/DESCR/1.2/Tue May 6 17:41:32 2003// /PLIST/1.16/Mon Nov 8 01:01:28 2021// /distinfo/1.23/Mon Nov 8 01:01:28 2021// D/patches//// /Makefile/1.144/Wed Nov 15 01:00:57 2023//