D/patches//// /DESCR/1.2/Tue Dec 11 16:15:35 2001// /PLIST/1.1/Wed Oct 31 22:10:29 2001// /distinfo/1.21/Mon Nov 8 01:02:39 2021// /options.mk/1.5/Mon Nov 8 01:02:39 2021// /Makefile/1.67/Wed Nov 15 01:01:21 2023//