[ubuntu/focal-proposed] prooftree 0.13-1build9 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-1build9) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 12 Mar 2020 14:53:39 +0100
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-1build9
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 12 Mar 2020 14:53:39 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build9
Distribution: focal
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-1build9) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 54bb5d6ff1206b1125b487f10a918cc5e05b6bcb 2125 prooftree_0.13-1build9.dsc
 dc86a62526a9ab5dc03edb4d64ba564f242175f9 2692 prooftree_0.13-1build9.debian.tar.xz
 cf94e0b5b292f72c64470f3c2aa3dc3e2d5ceaa8 13699 prooftree_0.13-1build9_source.buildinfo
Checksums-Sha256:
 d2120bee40df2f5887df8a3defa22b0bb7c7bbc52ee5a08afb9da1f22de75d7b 2125 prooftree_0.13-1build9.dsc
 39d2055ca0ba9824aa2de7f261b7d372c2fe612dc55fcfb7ffa651a187bfe9a4 2692 prooftree_0.13-1build9.debian.tar.xz
 4ba7cd33263a9bef9fff7ac316752f882a17563d1dd7b27de47c07db9b25ea0a 13699 prooftree_0.13-1build9_source.buildinfo
Files:
 07153cbe9bf5e2c47fb09f5f74e93acf 2125 science optional prooftree_0.13-1build9.dsc
 da30a02141f4fa6a0bd371d6d910e3c4 2692 science optional prooftree_0.13-1build9.debian.tar.xz
 01611b48483cda8cf1e11726e95c368c 13699 science optional prooftree_0.13-1build9_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5qPuUACgkQ808JdE6f
XdlFQw/+MINVN7IveriAsnLEC09DP1tYlSKKiy3lMNeom+cnH6xxTTHw1HRWsIfg
/R9EJVlYd470C4FqDC/Gjp13939pN8HnEzr6dilLeSPkhOchQlMjEIH9tfJ5SCS6
vHJxjFjHpg7PM98M77sDaQZh5bCwXx2AUnoaaYrrNTGTXX0S+mGiobELTItlbx4z
sUN0+/SnFea4KtWpQnh6x4Le0pz8v96+I/yQ6zkP3WXu+JnnuoCiqqUBWhFiND42
+KDkjIUa5G0cWZc1P3YuenB1jvytdq0naXGiT+BSVlVZJHCZwRKWFaOBkPCQxDNR
cuhcrD46VTAYYGfCBxx64/FHXGKmDef9CsaQySF2JKtk3B8/f5tLU7pI4AOWZ6fQ
vJq2GqUeec9f8L8KvWUi+EO59OUFrJblyMzOf9J2k7LLJe2Gz+XqRp+Xu8WNXkpY
WSmusn2viWreTfSqHFEt1rSkWR5M0kpii0YFxIq1Gf0otDdmfmxWTFOvzm8NMtXu
Uz4Kr+pGPW8gNrNAMsnvIzEjZ4xxqYfBa6FWp2ofz4Nwg+JeMhXwiHRWi0SjinIZ
hLNkeaOI4HI8sCudw2FZGd+pNF9Tz5imrXwHWg7Fe/+j7pOAdpOla+vmVY1CK5/r
uSl7YlUgW+H/3cXhqWmpayld5ws30J/WY2taAVfLHU8aG4eloZQ=
=avuU
-----END PGP SIGNATURE-----