Format: 1.8
Date: Thu, 12 Mar 2020 14:53:39 +0100
Source: prooftree
Binary: prooftree
Architecture: ppc64el
Version: 0.13-1build9
Distribution: focal-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-018.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1build9) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8589a7f6e668bdf1466124568f7e56f167ebf03f 227988 prooftree-dbgsym_0.13-1build9_ppc64el.ddeb
 03a04aeff48923e223c679097952c0fbbe4ee64e 12200 prooftree_0.13-1build9_ppc64el.buildinfo
 8ca42e7880871aefd3e9dfa143a8cd71cfde6c24 1173608 prooftree_0.13-1build9_ppc64el.deb
Checksums-Sha256:
 13fda13a6764c855804c1e3b787b80ad14e74ad705c1032138ed8bba38ee5fee 227988 prooftree-dbgsym_0.13-1build9_ppc64el.ddeb
 4b15fbcb44c10444356a7fd53d20a4ef96f7b4facfdea06063adc63b6034236a 12200 prooftree_0.13-1build9_ppc64el.buildinfo
 62b027f25d433c37bfa1e96c164db87fb66c043a0de3ea3b522d4fb97a983243 1173608 prooftree_0.13-1build9_ppc64el.deb
Files:
 dba15b76a34bded82002c7ae1ebe7d60 227988 debug optional prooftree-dbgsym_0.13-1build9_ppc64el.ddeb
 0408bb0ce0715d4c9e37b579c4721f51 12200 science optional prooftree_0.13-1build9_ppc64el.buildinfo
 6b7b55c64a464bf1abd11a7589318bea 1173608 science optional prooftree_0.13-1build9_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>