/patch-asmcomp_alpha_emit_mlp/1.1/Wed Sep 11 04:41:40 2002//
/patch-asmrun_alpha_S/1.1/Wed Sep 11 04:41:40 2002//
/patch-camlp4_config_configure_batch/1.1/Sun Aug 25 20:44:40 2002//
/patch-configure/1.2/Thu Sep 12 17:02:47 2002//
/patch-yacc_main_c/1.2/Sun Aug 25 20:44:40 2002//
D
