0001-Why-2.29-do-support-Coq-8.3.patch
0002-Mark-alt-ergo-0.93-as-compatible.patch
0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
0004-Default-to-why2-for-jessie-atp.patch
0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
0006-Fix-spelling-error-in-binary.patch
0007-Replace-caduceus-invocation-by-Frama-C.patch
