/DESCR/1.1/Fri Nov  9 22:15:12 2018//
/PLIST/1.1/Fri Nov  9 22:15:12 2018//
/Makefile/1.13/Wed Dec  6 01:00:59 2023//
/distinfo/1.12/Wed Dec  6 01:00:59 2023//
D