-
why3 (0.87.3-2ubuntu3) artful; urgency=medium
* Don't run why3+z3 on s390x, fails. Already ignored on ppc64el.
-- Matthias Klose <email address hidden> Mon, 18 Sep 2017 22:11:33 +0200
-
why3 (0.87.3-2ubuntu2) artful; urgency=medium
* No-change rebuild for new menhir.
-- Simon Quigley <email address hidden> Tue, 29 Aug 2017 18:39:07 -0500
-
why3 (0.87.3-2ubuntu1) artful; urgency=medium
* Skip why3+z3 test on ppc64el, as it hangs indefinately.
-- Dimitri John Ledkov <email address hidden> Mon, 17 Jul 2017 10:25:38 +0100
-
why3 (0.87.3-2build5) artful; urgency=high
* No change rebuild against coq abi change.
-- Dimitri John Ledkov <email address hidden> Sun, 16 Jul 2017 23:46:41 +0100
-
why3 (0.87.3-2build4) artful; urgency=high
* No change rebuild against ocaml with old binutils on arm64.
-- Dimitri John Ledkov <email address hidden> Sun, 16 Jul 2017 15:32:00 +0100
-
why3 (0.87.3-2build3) artful; urgency=medium
* Rebuild due to changed ocaml abis.
-- Dimitri John Ledkov <email address hidden> Mon, 10 Jul 2017 18:00:11 +0100
-
why3 (0.87.3-2build2) artful; urgency=high
* No change rebuild against ocaml 4.04.
-- Dimitri John Ledkov <email address hidden> Mon, 03 Jul 2017 01:29:49 +0100
-
why3 (0.87.3-2build1) artful; urgency=medium
* No-change rebuild against libmenhir-ocaml-dev-gvxl7
-- Steve Langasek <email address hidden> Sun, 25 Jun 2017 08:11:24 +0000
-
why3 (0.87.3-2) unstable; urgency=medium
* upload to unstable
* as-installed test why3+z3: do not fail when z3 segfaults.
-- Ralf Treinen <email address hidden> Sat, 21 Jan 2017 21:02:08 +0100