D/patches////
/DESCR/1.3/Sun Dec 21 01:04:44 2008//
/options.mk/1.4/Sun May  3 20:48:57 2020//
/PLIST/1.27/Mon Jan  2 01:01:11 2023//
/distinfo/1.39/Wed Jun  7 01:01:19 2023//
/Makefile/1.112/Mon Apr  8 01:01:19 2024//