D/patches//// /DESCR/1.1.1.1/Sun May 5 21:56:17 2002// /PLIST/1.5/Mon Jun 15 01:09:16 2009// /distinfo/1.9/Mon Nov 8 01:02:21 2021// /options.mk/1.1/Tue Dec 4 00:57:38 2007// /Makefile/1.18/Wed Aug 10 01:01:04 2022//