/DESCR/1.1/Mon Feb 13 17:15:00 2017//
/ALTERNATIVES/1.2/Mon Nov  7 01:01:07 2022//
/PLIST/1.11/Tue Apr 15 01:01:09 2025//
/Makefile/1.29/Wed Jul 23 01:01:16 2025//
/distinfo/1.18/Wed Jul 23 01:01:16 2025//
D
