Publishing details

• Created on 2017-09-18 by Ubuntu Archive Auto-Sync
• Removed from disk on 2020-07-10.
• Removal requested on 2020-07-10.
• Published on 2017-09-19

Changelog

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

Builds

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

Package files

• libwhy3-ocaml-dev_0.87.3-2ubuntu3_amd64.deb (4.5 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu3_armhf.deb (4.8 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu3_i386.deb (4.5 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu3_ppc64el.deb (4.7 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu3_s390x.deb (4.5 MiB)
• why3-coq-dbgsym_0.87.3-2ubuntu3_amd64.ddeb (374.1 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu3_armhf.ddeb (351.7 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu3_i386.ddeb (361.4 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu3_ppc64el.ddeb (321.3 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu3_s390x.ddeb (301.9 KiB)
• why3-coq_0.87.3-2ubuntu3_amd64.deb (5.0 MiB)
• why3-coq_0.87.3-2ubuntu3_armhf.deb (5.0 MiB)
• why3-coq_0.87.3-2ubuntu3_i386.deb (4.8 MiB)
• why3-coq_0.87.3-2ubuntu3_ppc64el.deb (5.0 MiB)
• why3-coq_0.87.3-2ubuntu3_s390x.deb (5.0 MiB)
• why3-dbgsym_0.87.3-2ubuntu3_amd64.ddeb (3.4 MiB)
• why3-dbgsym_0.87.3-2ubuntu3_armhf.ddeb (3.1 MiB)
• why3-dbgsym_0.87.3-2ubuntu3_i386.ddeb (3.0 MiB)
• why3-dbgsym_0.87.3-2ubuntu3_ppc64el.ddeb (2.9 MiB)
• why3-dbgsym_0.87.3-2ubuntu3_s390x.ddeb (2.9 MiB)
• why3-doc-html_0.87.3-2ubuntu3_all.deb (575.9 KiB)
• why3-doc-pdf_0.87.3-2ubuntu3_all.deb (1.2 MiB)
• why3-examples_0.87.3-2ubuntu3_all.deb (1.7 MiB)
• why3_0.87.3-2ubuntu3.debian.tar.xz (12.6 KiB)
• why3_0.87.3-2ubuntu3.dsc (2.6 KiB)
• why3_0.87.3-2ubuntu3_amd64.deb (20.5 MiB)
• why3_0.87.3-2ubuntu3_armhf.deb (12.8 MiB)
• why3_0.87.3-2ubuntu3_i386.deb (12.8 MiB)
• why3_0.87.3-2ubuntu3_ppc64el.deb (21.8 MiB)
• why3_0.87.3-2ubuntu3_s390x.deb (20.6 MiB)
• why3_0.87.3.orig.tar.gz (4.3 MiB)