/ALTERNATIVES/1.1/Tue Nov  1 21:48:36 2016//
/DESCR/1.1/Tue Nov  1 21:48:36 2016//
/PLIST/1.9/Wed Nov 24 01:00:45 2021//
/Makefile/1.28/Mon May  1 01:00:43 2023//
/distinfo/1.18/Mon May  1 01:00:43 2023//
D