/DESCR/1.3/Tue May 6 17:41:31 2003// /PLIST/1.3/Sun Jun 29 10:18:22 2003// /distinfo/1.15/Mon Nov 8 01:01:26 2021// /options.mk/1.1/Sun Oct 28 11:07:12 2007// D/patches//// /Makefile/1.99/Wed Nov 15 01:00:57 2023//