/DESCR/1.1/Tue Oct  1 12:43:04 2019//
/ALTERNATIVES/1.1/Sun Oct 29 13:28:08 2023//
/PLIST/1.6/Mon Oct 30 01:00:30 2023//
/distinfo/1.13/Mon Oct 30 01:00:30 2023//
/options.mk/1.3/Mon Oct 30 01:00:30 2023//
/Makefile/1.56/Sun Apr  7 01:00:34 2024//
D