/DESCR/1.1/Mon Apr  2 08:45:24 2018//
/PLIST/1.13/Wed May 17 01:01:01 2023//
/options.mk/1.1/Mon Jun 26 11:46:13 2023//
/Makefile/1.72/Mon May 13 01:01:16 2024//
/distinfo/1.24/Mon May 13 01:01:16 2024//
D