Publishing details

• Removed from disk on 2018-06-22.
• Removal requested on 2017-07-01.
• Superseded on 2017-06-30 by prooftree - 0.13-1build1
• Published on 2017-04-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

prooftree (0.13-1) unstable; urgency=medium

  * Imported Upstream version 0.13
  * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream)
  * push standards version to 3.9.8
  * fix some lintian warnings

 -- Hendrik Tews <email address hidden>  Tue, 03 Jan 2017 16:29:09 +0100

Builds

Package files

• prooftree-dbgsym_0.13-1_amd64.ddeb (164.3 KiB)
• prooftree-dbgsym_0.13-1_arm64.ddeb (164.7 KiB)
• prooftree-dbgsym_0.13-1_armhf.ddeb (174.5 KiB)
• prooftree-dbgsym_0.13-1_i386.ddeb (157.1 KiB)
• prooftree_0.13-1.debian.tar.xz (2.3 KiB)
• prooftree_0.13-1.dsc (2.0 KiB)
• prooftree_0.13-1_amd64.deb (674.0 KiB)
• prooftree_0.13-1_arm64.deb (619.2 KiB)
• prooftree_0.13-1_armhf.deb (621.1 KiB)
• prooftree_0.13-1_i386.deb (567.7 KiB)
• prooftree_0.13-1_powerpc.deb (531.5 KiB)
• prooftree_0.13-1_ppc64el.deb (865.2 KiB)
• prooftree_0.13-1_s390x.deb (865.1 KiB)
• prooftree_0.13.orig.tar.gz (110.5 KiB)