0001-Do-not-run-tests-on-non-existant-files.patch
0002-Enable-Apron-support.patch
0003-Fix-spelling-errors.patch
0004-Generate-Jessie.cma-for-bytecode-only-architectures.patch
0005-Coq-float-can-be-in-coqlib-user-contrib-Float.patch
0006-Cope-with-OCaml-3.12-s-Map.patch
0007-Squeeze-s-Coq-is-also-compatible.patch
