/patch-camlp4_config_configure_batch/1.3/Mon May  9 13:50:41 2005//
/patch-configure/1.10/Thu Feb  8 14:32:57 2007//
/patch-tools_checkstack_c/1.2/Sun May 28 15:28:54 2006//
/patch-yacc_main_c/1.5/Sun May 28 15:28:54 2006//
/patch-yacc_reader_c/1.1/Thu Feb  8 14:32:57 2007//
D
