Publishing details

• Created on 2014-08-15 by Ubuntu Archive Auto-Sync
• Removed from disk on 2018-01-19.
• Removal requested on 2016-11-03.
• Published on 2014-08-15

Changelog

why (2.34-2ubuntu1) utopic; urgency=medium

  * debian/tests/c/minimum.c: Workaround test brokenness by avoiding the
    ternary operator.
 -- Iain Lane <email address hidden>   Fri, 15 Aug 2014 10:47:51 +0100

Builds

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

Package files

• libwhy-coq_2.34-2ubuntu1_all.deb (225.2 KiB)
• why-examples_2.34-2ubuntu1_all.deb (124.2 KiB)
• why_2.34-2ubuntu1.debian.tar.xz (10.4 KiB)
• why_2.34-2ubuntu1.dsc (2.4 KiB)
• why_2.34-2ubuntu1_amd64.deb (5.0 MiB)
• why_2.34-2ubuntu1_arm64.deb (9.4 MiB)
• why_2.34-2ubuntu1_armhf.deb (4.8 MiB)
• why_2.34-2ubuntu1_i386.deb (4.7 MiB)
• why_2.34-2ubuntu1_powerpc.deb (4.1 MiB)
• why_2.34-2ubuntu1_ppc64el.deb (9.0 MiB)
• why_2.34.orig.tar.gz (3.6 MiB)