/DESCR/1.1/Tue Oct 10 07:27:10 2017//
/distinfo/1.10/Fri Jan 28 01:00:37 2022//
/PLIST/1.4/Fri Dec  1 01:00:38 2023//
/Makefile/1.12/Mon Dec 11 01:00:40 2023//
D