/ALTERNATIVES/1.1/Fri Aug 31 10:02:00 2018//
/DESCR/1.1/Thu Jan 21 20:26:50 2016//
/PLIST/1.3/Fri Aug 31 10:02:00 2018//
/distinfo/1.8/Tue Oct 26 11:30:43 2021//
/Makefile/1.11/Sun Feb  6 01:01:29 2022//
D