/DESCR/1.1/Thu Jul 31 07:52:53 2003//
/PLIST/1.3/Mon Nov  8 01:01:57 2021//
/options.mk/1.15/Mon May  8 01:01:00 2023//
/distinfo/1.4/Wed May 17 10:20:59 2023//
/Makefile/1.46/Wed Oct 25 01:00:57 2023//
D