/ALTERNATIVES/1.2/Thu Dec 13 11:22:46 2018//
/DESCR/1.1/Tue Jul  4 13:11:43 2017//
/Makefile/1.15/Wed May  1 01:01:08 2024//
/PLIST/1.10/Wed May  1 01:01:08 2024//
/distinfo/1.16/Wed May  1 01:01:08 2024//
D