Publishing details

• Created on 2020-03-12 by Ubuntu Archive Auto-Sync
• Published on 2020-03-12

Changelog

prooftree (0.13-1build9) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 12 Mar 2020 14:53:39 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• prooftree proof-tree visualization for Proof General

• prooftree-dbgsym debug symbols for prooftree

Package files

• prooftree-dbgsym_0.13-1build9_amd64.ddeb (235.4 KiB)
• prooftree-dbgsym_0.13-1build9_arm64.ddeb (261.0 KiB)
• prooftree-dbgsym_0.13-1build9_armhf.ddeb (236.8 KiB)
• prooftree-dbgsym_0.13-1build9_ppc64el.ddeb (222.6 KiB)
• prooftree-dbgsym_0.13-1build9_s390x.ddeb (205.7 KiB)
• prooftree_0.13-1build9.debian.tar.xz (2.6 KiB)
• prooftree_0.13-1build9.dsc (2.1 KiB)
• prooftree_0.13-1build9_amd64.deb (1.0 MiB)
• prooftree_0.13-1build9_arm64.deb (1.2 MiB)
• prooftree_0.13-1build9_armhf.deb (974.8 KiB)
• prooftree_0.13-1build9_ppc64el.deb (1.1 MiB)
• prooftree_0.13-1build9_riscv64.deb (976.3 KiB)
• prooftree_0.13-1build9_s390x.deb (1.0 MiB)
• prooftree_0.13.orig.tar.gz (110.5 KiB)