Publishing details

• Removal requested on 2019-07-25.
• Superseded on 2019-07-24 by prooftree - 0.13-1build4
• Published on 2019-04-18
• Copied from ubuntu bionic in Primary Archive for Ubuntu

Changelog

prooftree (0.13-1build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:23:53 +0200

Builds

Package files

• prooftree-dbgsym_0.13-1build3_amd64.ddeb (223.1 KiB)
• prooftree-dbgsym_0.13-1build3_arm64.ddeb (251.1 KiB)
• prooftree-dbgsym_0.13-1build3_armhf.ddeb (227.3 KiB)
• prooftree-dbgsym_0.13-1build3_i386.ddeb (213.7 KiB)
• prooftree-dbgsym_0.13-1build3_ppc64el.ddeb (214.0 KiB)
• prooftree-dbgsym_0.13-1build3_s390x.ddeb (195.7 KiB)
• prooftree_0.13-1build3.debian.tar.xz (2.5 KiB)
• prooftree_0.13-1build3.dsc (2.0 KiB)
• prooftree_0.13-1build3_amd64.deb (812.1 KiB)
• prooftree_0.13-1build3_arm64.deb (895.5 KiB)
• prooftree_0.13-1build3_armhf.deb (759.7 KiB)
• prooftree_0.13-1build3_i386.deb (732.5 KiB)
• prooftree_0.13-1build3_ppc64el.deb (922.7 KiB)
• prooftree_0.13-1build3_s390x.deb (970.5 KiB)
• prooftree_0.13.orig.tar.gz (110.5 KiB)