/DESCR/1.1.1.1/Sat Aug 11 18:52:49 2012// /PLIST/1.13/Wed Jan 4 01:00:28 2023// /distinfo/1.13/Wed Jan 4 01:00:28 2023// /Makefile/1.14/Fri Feb 2 01:00:37 2024// D