Changelog
why (2.33-1) unstable; urgency=low
* New upstream release. This fixes an issue with compilation under
ocaml-4.01 (closes: #707585).
* Bump build-dependency on frama-c-base to the latest version
(closes: #730526)
* Drop patches adopted or otherwise fixed by upstream:
- 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
* New patch deprecated-or to replace "or" by "||", needed for more strict
checks in ocaml 4
* New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora.
* New patch atp-versions: update accepted versions of external provers:
alt-ergo, coq
* New patch frama-c-versions: update accepted version of frama-c
* Add myself to uploaders.
* Standards-Version 3.9.5 (no change)
* Add DEP8-style package tests
- why with alt-ergo
- why with cvc3
- why with coq (thanks to Pierre Letouzey for his help!)
- frama-c, jessie plugin (from the why package), and alt-ergo
* Add to the Recommendation of package alt-ergo alternatives on other
theorem provers: cvc3, coq
-- Ralf Treinen <email address hidden> Tue, 04 Feb 2014 12:33:02 +0100