[ubuntu/eoan-proposed] prooftree 0.13-1build4 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-1build4) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 24 Jul 2019 19:11:42 +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-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 24 Jul 2019 19:11:42 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build4
Distribution: eoan
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-1build4) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b909861cd031000fb169d774d7bf65b12e752e9a 2125 prooftree_0.13-1build4.dsc
 330c1791f001370b096a0bbf90c692b12537af9c 2600 prooftree_0.13-1build4.debian.tar.xz
 0331ccbd38a1cb8cd097ea5b538cf0716f2d3120 7302 prooftree_0.13-1build4_source.buildinfo
Checksums-Sha256:
 2846b1ecf85cbf12729f43ccf093e3b3291521c1b7a9ac4225913b1209c5cd4e 2125 prooftree_0.13-1build4.dsc
 8f9e52d60053a33311b6348685e994465a3de280a90f524be36a9e38a30a5d80 2600 prooftree_0.13-1build4.debian.tar.xz
 ca971e64d9669ec1ed12c15b42a420dd69523f71524254d797422790415621ac 7302 prooftree_0.13-1build4_source.buildinfo
Files:
 b8591b658c415954c5ac75bd7d56b0ac 2125 science optional prooftree_0.13-1build4.dsc
 432efa73d929da7ced9542a15c2a43d6 2600 science optional prooftree_0.13-1build4.debian.tar.xz
 16b5db6a743fd0f1c615126979b28a46 7302 science optional prooftree_0.13-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl04kVAACgkQ808JdE6f
Xdmebg//c3C8yEf6CLHpYwFqomGSx+IsFcofbihieB2+R7MHxo+Pn3q8YEI+7F9d
dsDpneQL6gMupkKLeXMZLlO3oKg6qftlMA3couF252lPUnu6o615yLsdbPvcocfg
W0uuuZaOh1BlikUw8rWOoCPvOcTOB4LjGtHIcIdc+3UzjYEiOGNBYUIvojS82pzu
ifKkwoollOnqDEwEOyRhGZrRvEcsEaPFX9L5S5gOWQhvqIK54mCVngoN7BYRShqh
WEK8Gk7XufGYbuo3ePyTZ7osYUaoRIi5DSCrd/iIi4Oew6VH+ruRBfXuQmjVZr7n
2ETaPl9dlm8kiRp/DZCLCffIbwzvuTEKRSvXibZE/jWU0SOQIB5xCfQ+nu8QSLWL
4G1Zo8x35Wa+24a8OC2tNhWudJZ9PE1GXWqBAR6WVoZknn87vRJCbL9Hnkysorgk
2Ec9wbiA6R1JZU1FBmfM2WpTrU/aS9XRQthmn0D821Y0sz0XmXoCtnqorT4PNTl+
GxkMBMHzYJg6skYucx9fmo24NMimEo7zUbGO8Uj0OcGEyITy2i9ssgTdKN0tKL0h
UYQQicAEYL6YVrTizsrK3BAnzutfqffa5W7fijNnq3/CZjksRE16+PoEgldKw+08
iohEvaINrV/OdcrdkwGfr+J4ql+RBTwxRjfRJ2JfjXga4X6WNZc=
=J+/1
-----END PGP SIGNATURE-----