/options.mk/1.4/Sat Jan 11 14:29:29 2020//
/DESCR/1.2/Fri Jan 27 01:01:00 2023//
/PLIST/1.9/Mon Feb  3 01:01:05 2025//
/distinfo/1.13/Mon Feb  3 01:01:05 2025//
/Makefile/1.28/Thu Aug 14 01:01:19 2025//
D
