Publishing details

• Removed from disk on 2019-07-16.
• Removal requested on 2019-04-19.
• Deleted on 2019-04-19 by Adam Conrad

  moved to eoan-proposed

• Published on 2019-02-23
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Jeremy Bícha

Changelog

why (2.40-4) unstable; urgency=medium

  * Team upload.
  * Rebuild against coq/8.9.0-1.

 -- Benjamin Barenblat <email address hidden>  Fri, 22 Feb 2019 18:04:55 -0500

Builds

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

Package files

• libwhy-coq_2.40-4_all.deb (33.4 KiB)
• why-dbgsym_2.40-4_amd64.ddeb (100.5 KiB)
• why-dbgsym_2.40-4_arm64.ddeb (135.6 KiB)
• why-dbgsym_2.40-4_armhf.ddeb (97.7 KiB)
• why-dbgsym_2.40-4_i386.ddeb (97.3 KiB)
• why-dbgsym_2.40-4_ppc64el.ddeb (85.1 KiB)
• why-dbgsym_2.40-4_s390x.ddeb (82.1 KiB)
• why_2.40-4.debian.tar.xz (11.7 KiB)
• why_2.40-4.dsc (2.3 KiB)
• why_2.40-4_amd64.deb (3.2 MiB)
• why_2.40-4_arm64.deb (3.6 MiB)
• why_2.40-4_armhf.deb (3.1 MiB)
• why_2.40-4_i386.deb (3.0 MiB)
• why_2.40-4_ppc64el.deb (3.4 MiB)
• why_2.40-4_s390x.deb (3.4 MiB)
• why_2.40.orig.tar.gz (1.4 MiB)