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

[Gianfranco Costamagna]

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

  * Rebuild against new OCaml ABI.

Date: Wed, 21 Dec 2016 15:14:31 +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-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Dec 2016 15:14:31 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.12-2build2
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-2build2) zesty; urgency=medium
 .
   * Rebuild against new OCaml ABI.
Checksums-Sha1:
 e869ed8f945e765b6a0b560847699537e9ad4293 2024 prooftree_0.12-2build2.dsc
 c62623b9b20838ce5216f209047d25d9bd748343 3120 prooftree_0.12-2build2.debian.tar.xz
Checksums-Sha256:
 709653a4e518eafb4d738bb2e6144f477eb7b3b678b4ae826c65eef326d3010c 2024 prooftree_0.12-2build2.dsc
 e1e5661586cfde73bf586000f096908223c2056e473d19f88ae4eeca2e0b9975 3120 prooftree_0.12-2build2.debian.tar.xz
Files:
 32e75269d75bade347281edb89f18cc7 2024 science optional prooftree_0.12-2build2.dsc
 68141328291dba9a7b9eb44e1247b1b7 3120 science optional prooftree_0.12-2build2.debian.tar.xz

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

iQIcBAEBCAAGBQJYWo5IAAoJEPNPCXROn13ZfQkQAIqKgb+ia8vGOIt11VLfXIKF
5TuT8qDaA7qfo7nTQNayfRsnju0dQgRY70lj3c8wOMQvhBkaBVQsvcq81yM3WRNN
jM5toPvXINW1VPLgbrL1KHLCYPEkF8HdZV1ZrmhdX/CsuPpCA7xcZzvVCO1mO663
F1wEfaH3L8S7X/FAD135l4L696b5BXy2ZbEM3KPdMFQ400dDVVVH4MD2sRWv0+yA
JmqDeeRRLNP50oRslWNFPaWaroPYPIpawPsTDJ7Xcubg+fYs2krwvs4AFN52uLQk
3m78VEUGlkjpV7b6nq/FoYeKxGB3nBCcB7XzS8GUs6EZQb4s+MpjQm5lDiAMPkje
fY46rhWSto6AloTBBUmERGcjjdvH7fQFjRKOB44d5famvPM47mRoEtm1Ulj19GIX
XkiOYhVC0a6dmZ2Jq6g03sx1ucV7frWphKb7MUYymYtQJfwrI4T2veOdRqPTOAWC
UBNQyM23Jzs5HOa64EQLn2vbddDO93tF8/jC18poxPUr3hVL/220+0yLGJBkpSfj
JHXI3gbuUae68W6iN0V+Dg9dn+eFJAs1NDK29xW6KtKtDGID8YWFNUgTWZNp7g2Z
GsAMaMeeCIuf+vZHIfTzW2isV/lK4KJBH5CIcPn92eCefG7mBSZJpFyuPPHNQwXE
p7g2yvr3PksmmKYb4PWZ
=+pdC
-----END PGP SIGNATURE-----