/ALTERNATIVES/1.2/Thu Feb  5 15:23:26 2015//
/DESCR/1.1/Sat Jul  5 12:33:15 2014//
/PLIST/1.14/Mon May  1 01:01:06 2023//
/Makefile/1.19/Mon Mar  4 01:01:15 2024//
/distinfo/1.18/Mon Mar  4 01:01:15 2024//
D