/ALTERNATIVES/1.2/Thu Dec 13 11:22:46 2018//
/DESCR/1.1/Tue Jul  4 13:11:43 2017//
/Makefile/1.14/Tue May  9 01:00:59 2023//
/PLIST/1.9/Tue May  9 01:00:59 2023//
/distinfo/1.15/Tue May  9 01:00:59 2023//
D