[ubuntu/artful-proposed] prooftree 0.13-1build1 (Accepted)

[Dimitri John Ledkov]

prooftree (0.13-1build1) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Fri, 30 Jun 2017 14:52:39 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/prooftree/0.13-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 30 Jun 2017 14:52:39 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build1
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 9fee96956576eee694a740a2c9e271c3479accb8 1765 prooftree_0.13-1build1.dsc
 518890609949a570904453affd7d539dd04477e1 2488 prooftree_0.13-1build1.debian.tar.xz
Checksums-Sha256:
 bad0d3660f41f59a932a44fa3d364651fd0204ee626bc5264fed589cfa54a0b4 1765 prooftree_0.13-1build1.dsc
 a4ecbe74f595c3b553760e09e22ec681e8ec39531f2d6291d877f6219f1f481b 2488 prooftree_0.13-1build1.debian.tar.xz
Files:
 925a69e19147dd6b98a4642d5fdd97d0 1765 science optional prooftree_0.13-1build1.dsc
 59f5ac5dd2d9551258de00f9bd6e7aa4 2488 science optional prooftree_0.13-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZVlfPAAoJEMrC2LnNLKX54LQIAM8zcPxc/NahpEMTcF+qz+gI
VdWgSls+ssHnwgMrgDuJh2MbCmTjD6x1PbdG8ZOk7LGb7sg624aYKva/fxX/GEZA
H34t5VMP88aYZcqz5yZDHKuD2BnUJz1ZX1Jts78zb33FZYglhjFjjG4Y3pqRpY3l
PS2hN4ld8Xq8FcunWqIW/lulp/NUaPst4sG7huAkrfj5m+kJ/+vqAeM1ipIY36K0
NtUdp40CwYU3GrBIt8CKZyT5wi5aDVSquCkk+Hi9VVMA4H5PRHQrKmIowzNnEikc
XUXitqiXIxNG/Gq0CeHm3M+2BIiOmfV6mGpuqK7b3WOFGDim6wORBoLX7MryxVI=
=INxP
-----END PGP SIGNATURE-----