/DESCR/1.1/Tue Apr 14 16:10:50 2020//
/ALTERNATIVES/1.1/Fri Nov 11 13:49:57 2022//
/PLIST/1.3/Sat Nov 12 01:01:06 2022//
/distinfo/1.17/Mon Feb 24 01:01:10 2025//
/Makefile/1.19/Wed May 28 01:01:17 2025//
D
