D/patches////
/DESCR/1.2/Tue May  6 17:42:19 2003//
/PLIST/1.2/Mon Jun 15 01:08:56 2009//
/distinfo/1.14/Mon Nov  8 01:01:58 2021//
/options.mk/1.3/Wed May 11 01:00:49 2022//
/Makefile/1.39/Mon Nov 13 01:01:03 2023//