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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 21 Aug 2019 15:13:54 +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-1build6
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Aug 2019 15:13:54 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build6
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-1build6) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 75f03aba6b6728ed1e1c273605e125136db67142 2125 prooftree_0.13-1build6.dsc
 ce59b8187d4e7d8c04024996cf464531c0853e6e 2624 prooftree_0.13-1build6.debian.tar.xz
 77fad408fd6d17ba6ff2ac476faa1f2eb344e313 13731 prooftree_0.13-1build6_source.buildinfo
Checksums-Sha256:
 12c70c43f4a535244a5ec0ab5dcf896873c47095bc070baccafc598987543692 2125 prooftree_0.13-1build6.dsc
 c686963d505b39882ec2ef8c97ea25ecbc29d51acb27c9e108a03184a412e1af 2624 prooftree_0.13-1build6.debian.tar.xz
 60e1fafd44b8ff19e1cd7af856fc3004bb036654de05b08bb3c858027330b7e7 13731 prooftree_0.13-1build6_source.buildinfo
Files:
 128b56f94182a82c215cd9ec61223043 2125 science optional prooftree_0.13-1build6.dsc
 c90fdd6b02be81050227bd2f189db6f5 2624 science optional prooftree_0.13-1build6.debian.tar.xz
 e826ca5fe004286f66cfaa8fdf009068 13731 science optional prooftree_0.13-1build6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1dQ5MACgkQ808JdE6f
Xdn7ZBAAwiynVMUeG5ZH2aP+u1h456b10yxVg/dOrEzQmX566AzHWDnFGhLO80cq
y58vkW8O9YzbomChmIYz6KWRjxUyOuBxSv2EkTMZCTNcYsglC9pkN41KE49ptRib
J/+7GFullFEwS4Gi3t7j4Etr3HCBt39QC3XHgkcnWrfdoybYF+eG7abtoTBhcw3e
3aakTmg2a53pWtHKytk0GOPUrVT7ur35epNNIQOk4U6MkgzcixhbLHTljLlR4ofP
3kDwVjvzvRSRWm/Kt0XOBYx167fYGevQBztXQSpXoMdVtHVF9WN7EgNyWwdRvzuT
FlG2fqHRfVNBrvKieoYiBnnMMcCpyV4FAO00iD3hJ41uF4qR1HIzwJPVvMw79ImP
FEdW+1h19KfdyUbZUskfuZ0yDTJu112nAc95VRH/NfrH1kQ/0/AqeZ+oAGyvEiYK
SLknBSWegbsN1hHF3z3orLeK8d5XJWUO/W5BIf20G4xH+UOQaGPZeL6fTQsHkQF0
SSFiXeEyWzWBgsueK/BzIq4I/Iy2MeGmMhrK2vpp/LACI4Lu6UXWRiYSfd5bIF05
N4hF3cyXFQ30nwjxR4P66LwFEuQ3smHfIvWlN5psOk+tdJchyzywpuQ3UaLJiv5V
AMr+OMu+PJQKN/lY8UXQp10VyTnUzipUlMqIwGRk0rMFHsNhGdE=
=QMFd
-----END PGP SIGNATURE-----