Publishing details

• Created on 2017-06-24 by Ubuntu Archive Auto-Sync
• Removed from disk on 2017-07-19.
• Removal requested on 2017-07-19.
• Superseded on 2017-07-18 by why - 2.38-1ubuntu1
• Published on 2017-06-24

Changelog

why (2.38-1build1) artful; urgency=medium

  * Rebuild against new ocaml ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 05 Jun 2017 09:50:21 +0200

Builds

• amd64
• arm64
• armhf
• i386

Package files

• libwhy-coq_2.38-1build1_all.deb (34.5 KiB)
• why-dbgsym_2.38-1build1_amd64.ddeb (81.6 KiB)
• why-dbgsym_2.38-1build1_arm64.ddeb (80.7 KiB)
• why-dbgsym_2.38-1build1_armhf.ddeb (88.6 KiB)
• why-dbgsym_2.38-1build1_i386.ddeb (80.4 KiB)
• why_2.38-1build1.debian.tar.xz (11.4 KiB)
• why_2.38-1build1.dsc (2.4 KiB)
• why_2.38-1build1_amd64.deb (3.0 MiB)
• why_2.38-1build1_arm64.deb (3.0 MiB)
• why_2.38-1build1_armhf.deb (3.1 MiB)
• why_2.38-1build1_i386.deb (2.8 MiB)
• why_2.38.orig.tar.gz (1.6 MiB)