/ALTERNATIVES/1.3/Tue Nov 20 14:14:16 2018//
/DESCR/1.2/Tue Nov 20 14:14:16 2018//
/Makefile/1.13/Wed May 10 01:00:39 2023//
/PLIST/1.6/Wed May 10 01:00:39 2023//
/distinfo/1.10/Wed May 10 01:00:39 2023//
D