/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.42/Mon Apr  8 01:01:18 2024//
D