/DESCR/1.1/Thu Apr  9 00:16:02 2020//
/PLIST/1.7/Wed Apr 19 01:00:30 2023//
/distinfo/1.11/Wed Nov 15 01:00:36 2023//
/Makefile/1.39/Sun Apr  7 01:00:34 2024//
D