chrisz 0039808155 Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com> ... OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@		2013-02-07 09:43:15 +00:00
..
patch-configure	Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>	2013-02-07 09:43:15 +00:00
patch-Makefile_build	Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>	2013-02-07 09:43:15 +00:00
patch-scripts_coqmktop_ml	Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>	2013-02-07 09:43:15 +00:00
patch-test-suite-Makefile