Publishing details

• Removed from disk on 2016-12-23.
• Removal requested on 2016-12-22.
• Superseded on 2016-12-18 by why - 2.36-3
• Published on 2016-10-19
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Steve Langasek

Changelog

why (2.36-2) unstable; urgency=medium

  * dh invocation: use --no-parallel to fix FTBFS issues
  * jessie manpage: fix synopsis

 -- Ralf Treinen <email address hidden>  Wed, 12 Oct 2016 21:33:30 +0200

Builds

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

Package files

• libwhy-coq_2.36-2_all.deb (34.1 KiB)
• why-dbgsym_2.36-2_amd64.ddeb (85.0 KiB)
• why-dbgsym_2.36-2_arm64.ddeb (83.3 KiB)
• why-dbgsym_2.36-2_armhf.ddeb (89.7 KiB)
• why-dbgsym_2.36-2_i386.ddeb (82.4 KiB)
• why_2.36-2.debian.tar.xz (11.1 KiB)
• why_2.36-2.dsc (2.3 KiB)
• why_2.36-2_amd64.deb (3.4 MiB)
• why_2.36-2_arm64.deb (3.1 MiB)
• why_2.36-2_armhf.deb (3.0 MiB)
• why_2.36-2_i386.deb (3.0 MiB)
• why_2.36-2_powerpc.deb (2.8 MiB)
• why_2.36.orig.tar.gz (1.7 MiB)