/patch-tools_checkstack_c/1.1/Wed Dec 31 17:05:28 2003//
/patch-camlp4_config_configure_batch/1.3/Wed May 11 00:11:48 2005//
/patch-yacc_main_c/1.4/Wed May 11 00:11:48 2005//
/patch-configure/1.8/Wed Jun  1 13:58:12 2005//
/patch-asmcomp_amd64_emit_mlp/1.4/Mon Jun 13 23:21:55 2005//
D
