Publishing details

• Created on 2017-11-05 by Ubuntu Archive Auto-Sync
• Removed from disk on 2018-04-08.
• Removal requested on 2018-04-08.
• Superseded on 2018-04-07 by why3 - 0.88.3-1ubuntu4
• Published on 2017-11-05

Changelog

why3 (0.87.3-2ubuntu4) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:41:58 +0200

Builds

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

Package files

• libwhy3-ocaml-dev_0.87.3-2ubuntu4_amd64.deb (4.5 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu4_arm64.deb (4.8 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu4_armhf.deb (4.7 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu4_i386.deb (4.5 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu4_ppc64el.deb (4.7 MiB)
• libwhy3-ocaml-dev_0.87.3-2ubuntu4_s390x.deb (4.5 MiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_amd64.ddeb (420.6 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_arm64.ddeb (497.4 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_armhf.ddeb (368.9 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_i386.ddeb (407.8 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_ppc64el.ddeb (330.1 KiB)
• why3-coq-dbgsym_0.87.3-2ubuntu4_s390x.ddeb (328.7 KiB)
• why3-coq_0.87.3-2ubuntu4_amd64.deb (5.0 MiB)
• why3-coq_0.87.3-2ubuntu4_arm64.deb (5.5 MiB)
• why3-coq_0.87.3-2ubuntu4_armhf.deb (4.9 MiB)
• why3-coq_0.87.3-2ubuntu4_i386.deb (4.8 MiB)
• why3-coq_0.87.3-2ubuntu4_ppc64el.deb (5.1 MiB)
• why3-coq_0.87.3-2ubuntu4_s390x.deb (5.0 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_amd64.ddeb (3.9 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_arm64.ddeb (4.5 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_armhf.ddeb (3.5 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_i386.ddeb (3.7 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_ppc64el.ddeb (3.2 MiB)
• why3-dbgsym_0.87.3-2ubuntu4_s390x.ddeb (3.3 MiB)
• why3-doc-html_0.87.3-2ubuntu4_all.deb (575.9 KiB)
• why3-doc-pdf_0.87.3-2ubuntu4_all.deb (1.2 MiB)
• why3-examples_0.87.3-2ubuntu4_all.deb (1.7 MiB)
• why3_0.87.3-2ubuntu4.debian.tar.xz (12.6 KiB)
• why3_0.87.3-2ubuntu4.dsc (2.6 KiB)
• why3_0.87.3-2ubuntu4_amd64.deb (20.7 MiB)
• why3_0.87.3-2ubuntu4_arm64.deb (26.1 MiB)
• why3_0.87.3-2ubuntu4_armhf.deb (11.8 MiB)
• why3_0.87.3-2ubuntu4_i386.deb (13.0 MiB)
• why3_0.87.3-2ubuntu4_ppc64el.deb (22.1 MiB)
• why3_0.87.3-2ubuntu4_s390x.deb (21.1 MiB)
• why3_0.87.3.orig.tar.gz (4.3 MiB)