D/patches//// /DESCR/1.1/Thu Nov 1 01:22:27 2001// /PLIST/1.34/Mon Nov 8 01:00:48 2021// /distinfo/1.62/Mon Nov 8 01:00:48 2021// /hacks.mk/1.6/Mon Nov 8 01:00:48 2021// /Makefile/1.124/Wed Jun 29 01:00:32 2022// /options.mk/1.6/Tue Jul 5 01:00:33 2022//