/ALTERNATIVES/1.1/Thu May 31 20:07:00 2018//
/DESCR/1.1/Wed Nov 26 15:01:12 2014//
/distinfo/1.5/Tue Oct 26 10:18:30 2021//
/PLIST/1.5/Sun Jan  2 01:00:39 2022//
/Makefile/1.12/Wed Jan  5 01:00:39 2022//
D