/DESCR/1.1/Tue Feb 13 21:00:03 2018//
/PLIST/1.2/Tue Nov 28 01:01:10 2023//
/distinfo/1.14/Wed Jul  2 01:01:14 2025//
/Makefile/1.16/Fri Oct 10 01:01:15 2025//
D
