/DESCR/1.1/Thu Nov 19 20:19:09 2020//
/PLIST/1.3/Sun Mar 12 01:00:52 2023//
/distinfo/1.15/Sun Nov 12 01:00:53 2023//
/Makefile/1.17/Fri Mar  1 01:01:02 2024//
D