[ubuntu/xenial-proposed] prooftree 0.12-2build1 (Accepted)

[Łukasz 'sil2100' Zemczak]

prooftree (0.12-2build1) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

Date: Wed, 04 Nov 2015 17:18:33 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/prooftree/0.12-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 04 Nov 2015 17:18:33 -0600
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.12-2build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.12-2build1) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 82d4e7a662faae3c2f1b9756d82f97d4695bda1f 1676 prooftree_0.12-2build1.dsc
 6d03dafe1ebcbcf04709cccd67d13b42658aab8c 3048 prooftree_0.12-2build1.debian.tar.xz
Checksums-Sha256:
 9ee3f3f9ed049eaa7f99759d1a0ac5fe5640160a384b95d3d7a50d6acd5786f2 1676 prooftree_0.12-2build1.dsc
 e4cffd99bf2ceee86a81584375a9d174350c6053dc94c98fc49390168e60c543 3048 prooftree_0.12-2build1.debian.tar.xz
Files:
 bc228fe27938020a2b59f51158ea006b 1676 science optional prooftree_0.12-2build1.dsc
 8b52de3ee1a7ab3fbcbd07d080da1a77 3048 science optional prooftree_0.12-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJWOpJNAAoJEAIZyhnQNDMMlv0H+wevZiVzK0+iCxEhZmZq+xQJ
CDjq68UV5bZkpeUi/FVLVCE1xXQk0aJngCXbntbXw/PTSBk3jtRb8P6h6wH51kmU
7M+u+eIPFIEBtao/WcakuNZBhWYhHazF73bdXQ2yc/rgmc48LTz0O70RL1kRO2ZL
5PBQ0kVTicngebRCND05EFM3yp2X4bxMnqT6VAA8ostPNQW5B4R9P40kqKXY2ug/
0rAPndscjibBR1l7QBJDqF5NM1EjcaThYBrFy+Q3CDyYj9SNR3IOXkhSXYftWJZN
cIKWp7bAAsA64Q+QhhrvFh9bXHbrFg+W2ur3QSfKOlop2giJBPB4tu31LvifFnU=
=/FfK
-----END PGP SIGNATURE-----