Publishing details

• Removed from disk on 2015-09-08.
• Removal requested on 2015-09-08.
• Superseded on 2015-09-07 by why - 2.34-2ubuntu3
• Published on 2015-09-02

Changelog

why (2.34-2ubuntu2) wily; urgency=medium

  * Rebuild for new OCaml ABIs.

 -- Matthias Klose <email address hidden>  Wed, 02 Sep 2015 11:57:29 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Package files

• libwhy-coq_2.34-2ubuntu2_all.deb (224.8 KiB)
• why-dbgsym_2.34-2ubuntu2_amd64.ddeb (176.8 KiB)
• why-dbgsym_2.34-2ubuntu2_armhf.ddeb (185.3 KiB)
• why-dbgsym_2.34-2ubuntu2_i386.ddeb (162.5 KiB)
• why-examples_2.34-2ubuntu2_all.deb (123.2 KiB)
• why_2.34-2ubuntu2.debian.tar.xz (10.4 KiB)
• why_2.34-2ubuntu2.dsc (2.4 KiB)
• why_2.34-2ubuntu2_amd64.deb (3.5 MiB)
• why_2.34-2ubuntu2_arm64.deb (8.6 MiB)
• why_2.34-2ubuntu2_armhf.deb (3.0 MiB)
• why_2.34-2ubuntu2_i386.deb (3.2 MiB)
• why_2.34-2ubuntu2_powerpc.deb (2.6 MiB)
• why_2.34-2ubuntu2_ppc64el.deb (8.9 MiB)
• why_2.34.orig.tar.gz (3.6 MiB)