D/patches////
/DESCR/1.1.1.1/Sun Jan  4 01:05:46 2009//
/PLIST/1.3/Mon Nov  8 01:00:38 2021//
/options.mk/1.3/Mon Nov  8 01:00:38 2021//
/distinfo/1.6/Tue Jul 12 01:00:28 2022//
/Makefile/1.25/Thu Nov  9 01:00:30 2023//