/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//
/distinfo/1.23/Tue Mar 12 01:01:09 2024//
/Makefile/1.71/Sun Apr  7 01:01:09 2024//
D