/DESCR/1.1/Fri Jul 14 15:00:01 2017//
/PLIST/1.6/Mon Oct 30 01:00:47 2023//
/Makefile/1.18/Mon Jan 29 01:00:48 2024//
/distinfo/1.10/Mon Jan 29 01:00:48 2024//
D