/options.mk/1.2/Mon Nov  9 23:48:31 2020//
/DESCR/1.2/Thu May 11 01:01:11 2023//
/PLIST/1.10/Thu May 11 01:01:11 2023//
/distinfo/1.13/Thu May 11 01:01:11 2023//
/Makefile/1.47/Sun Aug 31 01:01:15 2025//
D
