/ALTERNATIVES/1.1/Fri Sep 30 10:36:13 2016//
/DESCR/1.1/Fri Sep 30 10:36:13 2016//
/PLIST/1.2/Mon May  1 01:00:36 2023//
/Makefile/1.14/Sat Oct 14 01:00:38 2023//
/distinfo/1.12/Sat Oct 14 01:00:38 2023//
D