/ALTERNATIVES/1.1/Wed Dec 30 14:30:42 2015//
/DESCR/1.1/Mon Feb 11 14:29:37 2013//
/PLIST/1.11/Mon May 18 14:52:13 2020//
/distinfo/1.21/Mon Feb 27 01:01:08 2023//
/Makefile/1.12/Tue Nov  4 01:01:25 2025//
D
