/DESCR/1.3/Thu Dec 18 01:50:00 2003//
/PLIST/1.4/Mon Jun 15 01:08:55 2009//
/options.mk/1.3/Mon Nov  8 01:01:58 2021//
/Makefile/1.29/Mon Oct  2 01:00:59 2023//
/distinfo/1.19/Mon Oct  2 01:00:59 2023//
D