D/patches////
/DESCR/1.1.1.1/Sat Feb 23 07:43:19 2002//
/PLIST/1.5/Mon Nov  8 01:00:33 2021//
/distinfo/1.16/Mon Nov  8 01:00:33 2021//
/options.mk/1.3/Mon Jan 20 21:31:02 2020//
/Makefile/1.44/Thu Aug  3 01:00:25 2023//