-
why (2.30+dfsg-3) unstable; urgency=high
* Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
- Adapt version_regexp because "alt-ergo -version" changed.
* Fix 0004-Default-to-why2-for-jessie-atp.patch
- default to "gui" instead of "why2".
* Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
- Caduceus is gone. We use Frama-C instead.
- Adding Frama-C to Why's dependencies.
* Setting urgency to "high" to fix those issues.
-- Mehdi Dogguy <email address hidden> Mon, 16 Jan 2012 18:19:38 +0100
-
why (2.30+dfsg-1) unstable; urgency=low
* New upstream release.
* Update patches:
- Rebase and update existing patches
- add 0004-Default-to-why2-for-jessie-atp.patch
- add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
* Add (back) Build-Depends on coq-float.
* Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
* Bump Standards-Version to 3.9.2, no changes needed.
* Fix description-synopsis-starts-with-article in why's description.
* Fix copyright-refers-to-deprecated-bsd-license-file
* Fix spelling-error-in-binary
* Mark Coq 8.3pl3 as compatible with current Why
-- Mehdi Dogguy <email address hidden> Mon, 02 Jan 2012 15:39:47 +0100
-
why (2.29+dfsg-4build1) precise; urgency=low
* Rebuild for OCaml 3.12.1.
-- Colin Watson <email address hidden> Sat, 19 Nov 2011 18:41:44 +0000
-
why (2.29+dfsg-4) unstable; urgency=low
* Rebuild with OCaml 3.12.1.
-- Ubuntu Archive Auto-Sync <email address hidden> Thu, 10 Nov 2011 16:42:27 +0000
-
why (2.29+dfsg-3) unstable; urgency=low
* Remove last added patch. The problem was in Makefile.dynamic, shipped
by frama-c-base which lacks some include statements.
- remove 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
- Bump minimum version number for Frama-C to 20110201+carbon+dfsg-2~.
why (2.29+dfsg-2) unstable; urgency=low
* Fix FTBFS on armel.
- add 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
why (2.29+dfsg-1) unstable; urgency=low
* New upstream release.
- Remove old patches, which are not needed anymore.
- Remove build-depends on coq-float (upstream switched to Flocq which
is not packaged yet).
* Bump minimum version of Coq to 8.3
- and add 0001-Why-2.29-do-support-Coq-8.3.patch (upstream forgot to
mention to why-config that Coq 8.3 is "ok").
* Mark Alt-Ergo 0.93 as compatible
- add 0002-Mark-alt-ergo-0.93-as-compatible.patch
* Fix FTBFS due to non-exhaustive pattern matching
- add 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
* Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
why (2.26+dfsg-4) unstable; urgency=low
* Team upload
* Rebuild with coq 8.2.pl2+dfsg-2 (no changes)
why (2.26+dfsg-3) unstable; urgency=low
[ Stéphane Glondu ]
* Fix versioned build-deps to ensure smoother backports
[ Mehdi Dogguy ]
* Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
compatibility of provers by checking their version number. Coq
versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
such so that it gets activated.
-- Ubuntu Archive Auto-Sync <email address hidden> Sat, 30 Apr 2011 14:00:21 +0000
