/DESCR/1.1/Sun Feb 17 19:04:47 2019//
/PLIST/1.2/Fri Nov  3 01:01:08 2023//
/distinfo/1.6/Fri Nov  3 01:01:08 2023//
/Makefile/1.17/Mon Jan 15 01:01:20 2024//
D