/DESCR/1.1/Wed Dec 6 22:01:51 2017// /distinfo/1.10/Thu Sep 28 01:00:41 2023// /Makefile/1.14/Sun Oct 29 01:00:37 2023// /PLIST/1.7/Sun Oct 29 01:00:37 2023// D