/ALTERNATIVES/1.2/Fri Nov 30 13:06:23 2018//
/DESCR/1.1/Sun Feb  9 15:17:42 2014//
/PLIST/1.3/Fri Nov 30 13:06:23 2018//
/Makefile/1.22/Sat Sep 30 01:00:39 2023//
/distinfo/1.17/Sat Sep 30 01:00:39 2023//
D