/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.50/Fri Jun 12 01:01:08 2026//
D
