D/patches////
/DESCR/1.1.1.1/Mon Apr 15 08:19:02 2002//
/PLIST/1.4/Mon Nov  8 01:02:44 2021//
/distinfo/1.11/Mon Nov  8 01:02:44 2021//
/options.mk/1.3/Sun Nov  3 09:14:18 2019//
/Makefile/1.32/Mon Nov 13 01:01:24 2023//
