0001-Fix-tests-Make.patch
0002-Activated-option-Automatic-Coercions-Import.patch
0003-Fix-compilation-with-camlp5-6.05-and-coq-8.3pl4.patch
