/DESCR/1.3/Mon May 23 08:26:16 2005//
/options.mk/1.2/Wed Oct 22 01:05:27 2008//
/distinfo/1.82/Wed Mar 20 01:01:20 2024//
/Makefile/1.143/Thu Apr  4 01:01:25 2024//
D