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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Feb 2020 18:25:38 +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-1build8
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 24 Feb 2020 18:25:38 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build8
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-1build8) focal; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 59fff34cb3b21bff31cdf761bde2c6381135dd2e 2125 prooftree_0.13-1build8.dsc
 345754903223ce42cef17868ca6cbb09b55f21e4 2680 prooftree_0.13-1build8.debian.tar.xz
 952b001d26026380204dab3d4b7300cd868823bb 13733 prooftree_0.13-1build8_source.buildinfo
Checksums-Sha256:
 f7f0f997ec32aaf57f6ae4067179e7635f7420005fcfc6fe4b64899815e529fc 2125 prooftree_0.13-1build8.dsc
 02c6154e4eef6ec698463ce91001c845b8dce2d8cc7dd8a37b1d3338ae848261 2680 prooftree_0.13-1build8.debian.tar.xz
 445083b993ea4cbb235091cd488cf5b84b16bb13f67b09529a1c03c5bb871dbf 13733 prooftree_0.13-1build8_source.buildinfo
Files:
 2b182323b39753786b7747f5c16fbca2 2125 science optional prooftree_0.13-1build8.dsc
 95b22f013cf785a512e6ab292c5153b2 2680 science optional prooftree_0.13-1build8.debian.tar.xz
 db60e988f657a49f7b877f46de8dc1cd 13733 science optional prooftree_0.13-1build8_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5UBxQACgkQ808JdE6f
XdlkkhAAjoQYltcOFAht/i3Jb9qLInQ3pvnRpR3bgVAyqgXpt1IXz1uwRN7YsEgK
RA9IczhzB5fRnLUjqYz4mXpw9XC8ksu7808aFmlLLbkTbYggoEiqr5MEP9sDd7Gh
k+NtzOOUC8fUu0eq3RQrzxRpQN0CaRqtWnqWaj2bKiTQFGn+ZUYw6l4FBK601eXD
8CKQecYh+pG/7/nH7t3U0zJJfpBYs8Azg84zoroc/3qBP4vGUStZg/n7hE9xlD4o
6mrNiAgPNPCfgyoBhDEELcK7EDzExP8OJkThYr7kApym8ePlYW2V1hQJEPKbg+KW
KLT/ZSYoFB8dUsMrqTCw70gpgSqAmoJlSQ9Yv14KIX5X4HZdgsCynWmqZVsSlNLz
ZdTeS38kmmAxeQmv4Wud3grLon9HGpriZ+dvVQqdZnsRSpvyluUwuQjCK3bFpuuA
nmHPNlmq9NZAY4+9Cuna9Hw5cQXQMZ0luSxyURO5pylm2RGSpo1d3zZHJXQDGtte
jNf0sa3RUzalBAR38ZSPEd8c6D85jKZsnOpHeeKEPhRkLIggc03pcrgUhOJymyNf
aA7iWaq7h1W5kZjnwHCFOycc1OPaEllamWhor3VqMfUUvaeCt7lF97b5fBUfXRww
bCUiNMoU3jNJ0naatX/BCJsv1RAxt4NfCAY0YlSmRur69ZL1BVk=
=GbVg
-----END PGP SIGNATURE-----