/DESCR/1.1/Wed Oct 31 22:59:48 2001//
/options.mk/1.14/Mon Nov  8 01:01:58 2021//
/PLIST/1.20/Wed May 17 01:00:56 2023//
/hacks.mk/1.1/Fri Mar 15 20:31:52 2024//
/Makefile/1.173/Mon Mar 18 01:01:04 2024//
/distinfo/1.71/Mon Mar 18 01:01:04 2024//
D