/ALTERNATIVES/1.1/Thu Dec 13 20:45:49 2018//
/DESCR/1.1/Thu Jul 26 13:55:30 2018//
/PLIST/1.4/Wed Jul 23 01:01:15 2025//
/distinfo/1.9/Wed Jul 23 01:01:15 2025//
/Makefile/1.14/Fri Oct 10 01:01:15 2025//
D
