/patch-camlp4_config_configure_batch/1.3/Mon May  9 13:50:41 2005//
/patch-configure/1.9/Tue Aug  1 10:21:00 2006//
/patch-tools_checkstack_c/1.2/Tue Aug  1 10:21:00 2006//
/patch-yacc_main_c/1.5/Tue Aug  1 10:21:00 2006//
D
