D/patches////
/DESCR/1.1.1.1/Thu Aug 28 20:08:18 2008//
/PLIST/1.6/Mon Nov  8 01:01:42 2021//
/distinfo/1.9/Mon Nov  8 01:01:42 2021//
/options.mk/1.4/Wed Jun  7 01:00:56 2023//
/Makefile/1.16/Thu Aug  3 01:00:48 2023//