D/patches////
/DESCR/1.1.1.1/Fri Apr 11 19:25:38 2008//
/distinfo/1.27/Mon Nov  8 01:02:17 2021//
/PLIST/1.17/Sun Nov  5 01:00:59 2023//
/options.mk/1.6/Sun Nov  5 01:00:59 2023//
/Makefile/1.129/Thu Nov  9 01:01:07 2023//