D/patches//// /DESCR/1.1.1.1/Tue Dec 16 19:35:45 2008// /PLIST/1.2/Mon Nov 8 01:01:43 2021// /distinfo/1.9/Mon Nov 8 01:01:43 2021// /options.mk/1.5/Mon Nov 8 01:01:43 2021// /Makefile/1.30/Mon Nov 13 01:00:57 2023//