/DESCR/1.2/Sat Jun 29 18:53:29 2019//
/PLIST/1.4/Wed Jun 20 22:21:25 2018//
/Makefile/1.10/Sat Mar  4 01:00:43 2023//
/distinfo/1.10/Sat Mar  4 01:00:43 2023//
D