Publishing details

• Removed from disk on 2017-02-03.
• Removal requested on 2017-02-03.
• Superseded on 2017-02-02 by why - 2.36-5build2
• Published on 2017-01-09

Changelog

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

  * Rebuild against new OCaml ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 09 Jan 2017 10:38:23 +0100

Builds

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

Package files

• libwhy-coq_2.36-5build1_all.deb (34.4 KiB)
• why_2.36-5build1.debian.tar.xz (11.4 KiB)
• why_2.36-5build1.dsc (2.2 KiB)
• why_2.36-5build1_amd64.deb (1.4 MiB)
• why_2.36-5build1_arm64.deb (1.2 MiB)
• why_2.36-5build1_armhf.deb (1.2 MiB)
• why_2.36-5build1_i386.deb (1.2 MiB)
• why_2.36-5build1_powerpc.deb (1.1 MiB)
• why_2.36-5build1_ppc64el.deb (3.3 MiB)
• why_2.36-5build1_s390x.deb (3.3 MiB)
• why_2.36.orig.tar.gz (1.7 MiB)