/ALTERNATIVES/1.2/Thu Nov 15 14:14:14 2018//
/DESCR/1.1/Fri Sep 29 21:38:35 2017//
/PLIST/1.5/Wed Feb 19 19:07:19 2020//
/distinfo/1.10/Tue Oct 26 10:18:16 2021//
/Makefile/1.15/Wed Jun  7 01:00:43 2023//
D