/DESCR/1.1/Mon Dec 17 01:56:50 2012// /PLIST/1.3/Fri Jan 17 06:47:57 2020// /distinfo/1.6/Tue Oct 26 11:12:04 2021// /options.mk/1.1/Mon Dec 17 01:56:50 2012// /Makefile/1.87/Tue Mar 12 01:01:08 2024// D