D/patches////
/DESCR/1.1/Thu Nov  1 02:17:19 2001//
/PLIST/1.15/Mon Nov  8 01:02:32 2021//
/distinfo/1.42/Mon Nov  8 01:02:32 2021//
/options.mk/1.20/Sun Jul 24 01:01:13 2022//
/Makefile/1.147/Sun Dec 31 01:01:10 2023//