/DESCR/1.1/Wed Jul  8 09:26:58 2020//
/PLIST/1.7/Wed Oct 25 01:01:09 2023//
/distinfo/1.10/Wed Oct 25 01:01:09 2023//
/Makefile/1.28/Mon Apr  8 01:01:14 2024//
D