Publishing details

• Created on 2019-10-16 by Ubuntu Archive Auto-Sync
• Removed from disk on 2020-12-29.
• Removal requested on 2020-12-29.
• Published on 2019-10-16

Changelog

why3 (1.2.0-3ubuntu1) eoan; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Skip why3+z3 test on ppc64el, as it hangs indefinitely.

why3 (1.2.0-3) unstable; urgency=medium

  * why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344)
    - add a version constraint to Recommends
    - add a version constraint to the dependencies of test why3+z3
    - flag test why3+z3 as skip-not-installable
  * Standards-Version 4.4.1 (no change)

 -- Gianfranco Costamagna <email address hidden>  Wed, 16 Oct 2019 10:30:48 +0200

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_amd64.ddeb (499.9 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_arm64.ddeb (588.7 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_armhf.ddeb (439.5 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_i386.ddeb (486.1 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_ppc64el.ddeb (392.8 KiB)
• libwhy3-ocaml-dev-dbgsym_1.2.0-3ubuntu1_s390x.ddeb (394.9 KiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_amd64.deb (7.4 MiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_arm64.deb (8.3 MiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_armhf.deb (7.5 MiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_i386.deb (7.2 MiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_ppc64el.deb (7.8 MiB)
• libwhy3-ocaml-dev_1.2.0-3ubuntu1_s390x.deb (7.5 MiB)
• why3-coq_1.2.0-3ubuntu1_amd64.deb (569.2 KiB)
• why3-coq_1.2.0-3ubuntu1_arm64.deb (569.2 KiB)
• why3-coq_1.2.0-3ubuntu1_armhf.deb (574.9 KiB)
• why3-coq_1.2.0-3ubuntu1_i386.deb (574.6 KiB)
• why3-coq_1.2.0-3ubuntu1_ppc64el.deb (569.7 KiB)
• why3-coq_1.2.0-3ubuntu1_s390x.deb (570.1 KiB)
• why3-dbgsym_1.2.0-3ubuntu1_amd64.ddeb (5.4 MiB)
• why3-dbgsym_1.2.0-3ubuntu1_arm64.ddeb (6.1 MiB)
• why3-dbgsym_1.2.0-3ubuntu1_armhf.ddeb (4.6 MiB)
• why3-dbgsym_1.2.0-3ubuntu1_i386.ddeb (5.2 MiB)
• why3-dbgsym_1.2.0-3ubuntu1_ppc64el.ddeb (4.6 MiB)
• why3-dbgsym_1.2.0-3ubuntu1_s390x.ddeb (4.6 MiB)
• why3-doc-html_1.2.0-3ubuntu1_all.deb (289.4 KiB)
• why3-doc-pdf_1.2.0-3ubuntu1_all.deb (1.2 MiB)
• why3-examples_1.2.0-3ubuntu1_all.deb (2.3 MiB)
• why3_1.2.0-3ubuntu1.debian.tar.xz (18.2 KiB)
• why3_1.2.0-3ubuntu1.dsc (2.6 KiB)
• why3_1.2.0-3ubuntu1_amd64.deb (28.8 MiB)
• why3_1.2.0-3ubuntu1_arm64.deb (36.6 MiB)
• why3_1.2.0-3ubuntu1_armhf.deb (18.4 MiB)
• why3_1.2.0-3ubuntu1_i386.deb (19.1 MiB)
• why3_1.2.0-3ubuntu1_ppc64el.deb (30.8 MiB)
• why3_1.2.0-3ubuntu1_s390x.deb (29.6 MiB)
• why3_1.2.0.orig.tar.gz (5.7 MiB)