/ALTERNATIVES/1.1/Wed Feb  4 15:45:43 2015//
/DESCR/1.1.1.1/Thu Dec 15 14:44:06 2011//
/PLIST/1.11/Mon Mar  7 01:01:01 2022//
/Makefile/1.25/Mon Sep 11 01:00:53 2023//
/distinfo/1.23/Mon Sep 11 01:00:53 2023//
D