/patch-camlp4_config_configure_batch/1.3/Mon May  9 13:50:41 2005//
/patch-configure/1.8/Sat May 28 20:55:45 2005//
/patch-tools_checkstack_c/1.1/Wed Dec 31 17:05:28 2003//
/patch-yacc_main_c/1.4/Mon May  9 13:50:41 2005//
D
