/ALTERNATIVES/1.1/Sat Feb  6 11:18:25 2021//
/DESCR/1.1/Sun Sep 30 19:21:18 2018//
/PLIST/1.2/Sat Feb  6 11:18:25 2021//
/distinfo/1.3/Tue Oct 26 10:44:12 2021//
/options.mk/1.4/Fri Nov  6 12:15:54 2020//
/Makefile/1.23/Sun Apr  7 01:00:49 2024//
D