Publishing details

• Removed from disk on 2017-05-04.
• Removal requested on 2017-04-22.
• Deleted on 2017-04-22 by Adam Conrad

  Moved to artful-proposed

• Published on 2017-02-02

Changelog

why (2.36-5build2) zesty; urgency=medium

  * Try rebuild again against latest OCaml.

 -- Bhavani Shankar <email address hidden>  Thu, 02 Feb 2017 11:34:20 +0530

Builds

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

Package files

• libwhy-coq_2.36-5build2_all.deb (34.5 KiB)
• why_2.36-5build2.debian.tar.xz (11.5 KiB)
• why_2.36-5build2.dsc (1.9 KiB)
• why_2.36-5build2_amd64.deb (1.4 MiB)
• why_2.36-5build2_arm64.deb (1.2 MiB)
• why_2.36-5build2_armhf.deb (1.2 MiB)
• why_2.36-5build2_i386.deb (1.2 MiB)
• why_2.36-5build2_powerpc.deb (1.1 MiB)
• why_2.36-5build2_ppc64el.deb (3.3 MiB)
• why_2.36-5build2_s390x.deb (3.3 MiB)
• why_2.36.orig.tar.gz (1.7 MiB)