D/patches////
/DESCR/1.1.1.1/Thu Dec  5 21:21:55 2002//
/PLIST/1.2/Mon Jun 15 01:09:06 2009//
/distinfo/1.7/Mon Nov  8 01:02:12 2021//
/options.mk/1.3/Mon Oct  3 21:36:59 2005//
/Makefile/1.35/Mon Nov 13 01:01:12 2023//