/DESCR/1.1/Thu Feb 20 05:52:38 2020//
/PLIST/1.7/Fri Nov 11 01:01:14 2022//
/distinfo/1.11/Sat Nov 11 01:01:13 2023//
/Makefile/1.31/Sun Apr  7 01:01:21 2024//
D