/DESCR/1.1/Fri May 12 10:02:13 2017//
/PLIST/1.2/Fri Oct  6 06:31:44 2017//
/distinfo/1.11/Sun Jul  9 01:01:11 2023//
/Makefile/1.15/Wed Nov  8 01:01:21 2023//
D