D/patches////
/DESCR/1.3/Mon Mar 23 00:07:34 2009//
/distinfo/1.19/Mon Nov  8 01:00:44 2021//
/PLIST/1.15/Mon Jul 11 01:00:30 2022//
/options.mk/1.7/Wed Nov  8 01:00:44 2023//
/Makefile/1.93/Mon Apr  8 01:00:36 2024//