/ALTERNATIVES/1.1/Wed Mar 20 16:08:06 2019//
/DESCR/1.1/Wed Jul  4 06:46:49 2018//
/Makefile/1.17/Thu Dec 14 01:00:52 2023//
/PLIST/1.5/Thu Dec 14 01:00:52 2023//
/distinfo/1.8/Thu Dec 14 01:00:52 2023//
D