/ALTERNATIVES/1.1/Thu Jul 13 14:36:27 2017//
/DESCR/1.1/Thu Jul 13 14:36:27 2017//
/PLIST/1.4/Tue Feb 26 01:00:41 2019//
/Makefile/1.11/Tue Apr 28 01:00:40 2020//
/distinfo/1.10/Tue Apr 28 01:00:40 2020//
D