/DESCR/1.1.1.1/Mon Dec  5 09:51:20 2011//
/PLIST/1.6/Tue Aug 23 01:01:01 2022//
/options.mk/1.1/Mon Aug 22 07:42:52 2022//
/distinfo/1.15/Wed Jul 26 01:01:02 2023//
/Makefile/1.31/Thu Nov  9 01:01:02 2023//
D