/patch-camlp4_config_configure_batch/1.3/Mon May  9 13:50:41 2005//
/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//
/patch-configure/1.10/Wed Feb 14 18:14:45 2007//
/patch-yacc_reader_c/1.1/Thu Feb  8 14:32:57 2007//
D
