Makefile.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] do not run tests on non-existant files

configure.in | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 [patch] enable apron support

c/ctyping.ml | 2 1 + 1 - 0 !
jc/jc_typing.ml | 2 1 + 1 - 0 !
ml/typing/parmatch.ml | 2 1 + 1 - 0 !
3 files changed, 3 insertions(+), 3 deletions(-)

 [patch] fix spelling errors

Makefile.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] generate jessie.cma for bytecode only architectures

configure.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] coq-float can be in coqlib/user-contrib/float

c/cutil.ml | 19 18 + 1 - 0 !
c/cutil.mli | 23 20 + 3 - 0 !
jc/jc_stdlib.ml | 15 14 + 1 - 0 !
3 files changed, 52 insertions(+), 5 deletions(-)

 [patch] cope with ocaml 3.12's map

Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585459
Signed-off-by: Stephane Glondu <steph@glondu.net>

tools/dpConfig.ml | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] squeeze's coq is also compatible