/DESCR/1.1/Sun Oct 28 15:17:47 2018// /PLIST/1.2/Tue Sep 20 01:00:36 2022// /Makefile/1.9/Sat Oct 7 01:00:42 2023// /distinfo/1.9/Sat Oct 7 01:00:42 2023// D