[ubuntu/zesty-proposed] prooftree 0.12-2build3 (Accepted)

[Gianfranco Costamagna]

prooftree (0.12-2build3) zesty; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 21 Dec 2016 22:26:14 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/prooftree/0.12-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Dec 2016 22:26:14 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.12-2build3
Distribution: zesty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.12-2build3) zesty; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 eabd13b01b27eb18d0debbe7d629b6d61775d919 2024 prooftree_0.12-2build3.dsc
 bca73d1eac3ec0b0bc678287c319844da1d68405 3132 prooftree_0.12-2build3.debian.tar.xz
Checksums-Sha256:
 0284af8bc1605a2df2e09d7f54e5479c66c4102aee7fdf10b6a3011a443943d1 2024 prooftree_0.12-2build3.dsc
 f76e7f98e69f0a28eaec5a64cb6efacde6a0be47b799c9f95ca26e5acae5c0d4 3132 prooftree_0.12-2build3.debian.tar.xz
Files:
 74fb49758a86f66e7976d18ffdfecf12 2024 science optional prooftree_0.12-2build3.dsc
 23385d94ceb6164dcd1eef84f3c955e5 3132 science optional prooftree_0.12-2build3.debian.tar.xz

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

iQIcBAEBCAAGBQJYWvN3AAoJEPNPCXROn13ZQtQP/iyQW7lA4US96dJQqmw3PGhc
KMfq3vR6EQUrm/Uf0rmoXpWFkcJv1lVz8q+C8QuYhM/mVXVqzcZJHAilDh05cYFE
zd6mbK+SHZtuvLfPRnu9FqmzxC1pBOmMf6ZcsTr/Zz+C3yaUTLRbQLEEjK0KglbT
Gt5qLSBksHm2SwAyAnB4zNUtq8R58n6DTvxUkN6HRc8BfcnOt1Dn5DDTVYhp88Eb
4LeY7qGcdqS6lbyFUfdNh4NU/VjLhShhemI6NNvrsdpgIIi3IekYhU6EpK9aU/ZF
Pi5oUQpUVA9aKMUiyG4rQVPyAILU8A7zEeovRd/BC5x/ic7Fdo9qSIQnfr9Fs5yY
Qiq0H7uytR/ELk5FwYl2Ob7SLNR/imV8VmFveOyRkrXDL40j1RZw0aAWZ3XJpWX8
vLb16e6zbdu92b2TWP7kY/Muum0XT6oGjcZBEfI6ATva0gRliD/bEKxJye3wdbAB
OhhLPjVlhD6Kvn2U8zHlm/cXcqERb0v2Gpmz3MFAh9Q/PBatp6V4cuzfvrb/ZNrX
JT1MKKD2parIkQ/8M6Xo3KOy5H4/zX+EgUr3pmkuAXBDsl4/zNgDIcR08ShpgxPt
cMl0gILlXqXk3saafsDImQKd1l2Y+TKJaiLpUlfhQDdRIiLLaNRiqE6iJ7Bxv3Fa
dupZgACnu6mvyxrePWe0
=f4c/
-----END PGP SIGNATURE-----