/ALTERNATIVES/1.2/Tue Dec 11 09:46:23 2018//
/DESCR/1.1/Sun Jan 25 12:00:28 2015//
/MESSAGE/1.1/Sun Jan 25 12:00:28 2015//
/PLIST/1.12/Tue Dec 11 09:46:23 2018//
/Makefile/1.23/Wed Nov 16 01:01:04 2022//
/distinfo/1.20/Wed Nov 16 01:01:04 2022//
D