/ALTERNATIVES/1.1/Sun Oct  7 10:41:52 2018//
/DESCR/1.1/Mon Nov 24 14:38:03 2014//
/Makefile/1.15/Mon Jul 25 01:01:01 2022//
/PLIST/1.5/Mon Jul 25 01:01:01 2022//
/distinfo/1.17/Mon Jul 25 01:01:01 2022//
D