Format: 1.8
Date: Wed, 21 Aug 2019 15:13:54 +0200
Source: prooftree
Binary: prooftree
Architecture: armhf
Version: 0.13-1build6
Distribution: eoan-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-042.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1build6) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b5432113d94ff82172173a0b468e3ce7050f69fb 234292 prooftree-dbgsym_0.13-1build6_armhf.ddeb
 8580d2b0a973eac099dac76c802244bce68434ed 11506 prooftree_0.13-1build6_armhf.buildinfo
 6abf6ae6dc2a0dd4c4900424a6add1dc334ba488 780872 prooftree_0.13-1build6_armhf.deb
Checksums-Sha256:
 aa1045b3c7b676cdff21e52e51bb963978e9e915e5c25ede47db5e64958208e6 234292 prooftree-dbgsym_0.13-1build6_armhf.ddeb
 0fa3f25029e149a84295f0b206a9da0346094df800487a659f4569b641ac5975 11506 prooftree_0.13-1build6_armhf.buildinfo
 477e4feb38d3bd1721ebeef96a40c0add10e15fbdda7daf89defc9c5cab8ad23 780872 prooftree_0.13-1build6_armhf.deb
Files:
 f48aced6d47db56f14ad11c929532a0f 234292 debug optional prooftree-dbgsym_0.13-1build6_armhf.ddeb
 3f90aebeab8dbe3995099397b8ff619f 11506 science optional prooftree_0.13-1build6_armhf.buildinfo
 5065db58835916ae51df1c79a28b9ab0 780872 science optional prooftree_0.13-1build6_armhf.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>