D/patches////
/DESCR/1.1.1.1/Sun Mar  9 18:14:00 2008//
/PLIST/1.7/Mon Nov  8 01:01:11 2021//
/distinfo/1.14/Mon Nov  8 01:01:11 2021//
/options.mk/1.10/Wed Jun  7 01:00:45 2023//
/Makefile/1.86/Mon Apr  8 01:00:45 2024//