/DESCR/1.1/Mon Jul 9 13:52:47 2012// /PLIST/1.6/Sun Apr 2 01:00:39 2023// /Makefile/1.15/Mon Feb 5 01:00:42 2024// /distinfo/1.16/Mon Feb 5 01:00:42 2024// D