[ubuntu/bionic-proposed] prooftree 0.13-1build3 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-1build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:23:53 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/prooftree/0.13-1build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:23:53 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build3
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1build3) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7154a1b084605e27a9d4c3af432c65a6979a89ea 2093 prooftree_0.13-1build3.dsc
 ddb00516acca9f43acb92eb6494ac453243d8757 2588 prooftree_0.13-1build3.debian.tar.xz
 cc58f394022ebddd216182c70d1adebf48cd7ad6 6772 prooftree_0.13-1build3_source.buildinfo
Checksums-Sha256:
 d89ed4d20272644b25628f30a4d515a46ac735fafc02fda259b388867e9bc128 2093 prooftree_0.13-1build3.dsc
 8fcca3cc366bbc683ff83d8635a7b1642facfe12cea3e85cc25894677ecace6d 2588 prooftree_0.13-1build3.debian.tar.xz
 3bdf93be28b65a261fe2996eba3950f48aedc92debec26d4945ced83fee598e3 6772 prooftree_0.13-1build3_source.buildinfo
Files:
 7b2e4164dc12ea877610485d2bbf821d 2093 science optional prooftree_0.13-1build3.dsc
 cf4fb6abe7eb31e7ec23badb32f4b68b 2588 science optional prooftree_0.13-1build3.debian.tar.xz
 300d820f882cc70f74d1ee1fdea4be06 6772 science optional prooftree_0.13-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ9JL9AAoJEPNPCXROn13ZMQgP/R8AWmuoUYzwGgm/UENW7Fj8
KHGuoqE32QhcECQ65C1nJCC4bnHzMpV4fxwOFoHunCbgoKcEs4gdb8NthB95vojh
xqifEU2xtlm3gxOEDJ3dLTtR+tV/v1HSFctb6o/qjoC7Al4vZck3f12FbsqE6X+7
CpkJerOEb+o5EyjDNrDk/KAvyuzKW9an+PLj8RRyayzl9GJOMjv0evKUu2+wXiL8
QK5Q0I+8txlcHDIHgTObOtMFbpymX4/AvC/PwJUUkytxh9PHcqnxGuxQmec4abcB
tgaQJD4FedMDrU65XHFXIVglM/HdC/n24S+yzu6BdTe6hKQ2CD+cTezgbVJbVobU
nn218P/dxmhvo/J/lDsZmBM6+I2Oje11CuvzJCXn6a6TSw0rfXettSNs74LIKifX
yOchuHBrUkOXbhc8Yj44enQ7AFH8iMATxanuNHkiZ1J0li30oTDRDrMvPOhNfpoD
lU0msgp4wj23mT5OFW4AWFmkgxgdAizTBmMWomooXyrjKd8bQQYhdHyDtqZj6x7n
Wky47p9TDPA5HTZn8MBfv0JunO8waeuCpklaNwgKOvVXHv06dP5yCKdy2uzJKA7/
+ICGnbiAeInUHSjH+cb2iCcG37uYMCyfkiZoeGtHGgQEc9WB1714h+sgpvvpSfZb
VsCjzLP1XyRfwOmDaMOZ
=om4z
-----END PGP SIGNATURE-----