[ubuntu/groovy-proposed] prooftree 0.13-1build10 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-1build10) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 13 May 2020 13:48:08 +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-1build10
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 13 May 2020 13:48:08 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build10
Distribution: groovy
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-1build10) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 114b34f1995da21cc894437adc180675f0ff6489 2129 prooftree_0.13-1build10.dsc
 f86c8c635e5da0709bef3cf7690454ea5ad21ce5 2716 prooftree_0.13-1build10.debian.tar.xz
 170621610f8dd74759f7a0599a27118d6ba191af 14012 prooftree_0.13-1build10_source.buildinfo
Checksums-Sha256:
 ad99eed37d7add1b23f0b5224475921e06a51df47b41fd3c6b1fbc5fdfb670ab 2129 prooftree_0.13-1build10.dsc
 80c08a2378e88aa2f6303184d4caf0ffb46346fde02072e54bbe81f486b001cb 2716 prooftree_0.13-1build10.debian.tar.xz
 57ef0a926192d8f6c08b84a77e89a5ced2be86b51ab2fc0a26cc8fc4f0f42be0 14012 prooftree_0.13-1build10_source.buildinfo
Files:
 a7a3b4fc9b12170212f8148e56dc4c32 2129 science optional prooftree_0.13-1build10.dsc
 f79cfeb8de7720ba04008523f1853f2d 2716 science optional prooftree_0.13-1build10.debian.tar.xz
 0140a0d360d3a4b07d5bd145fecc628e 14012 science optional prooftree_0.13-1build10_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl673noACgkQ808JdE6f
XdmdyhAAoW8HBUIY200BUdxbId2sBbKGq3VOAiB7TchlLKL3pN/0E9BFjtDH1Uag
mZQHKqwTBg+IITs447jaACNzi9+XtJ4mozeVbqshlUUlcI/x8rV6V25W9ir+gjHm
pIWWJ5V3wPggUt3o9BTQySQWqu8WNR07vXJVUjg/ZCqSgYN6j5cSgqzH909s8yO9
IyOe2ReeoWXt0XoxKQwMJO8g+cNV/VY5WOylVhPDHf1/RJ7ekQSFkA4Dg+WlPb3h
g5A2thXQV+vUKLDn5rYn5tdufnJ3R5Oe+gEWwWU2sC+pOoCFlV1FXhG1KQC6IWxG
5eAHZoTR72B9lMulLyuob+Orpvkasqa3bjZqFGl8y9CDLTBcpU79eY3Ksp3qd4zv
HiixqxQABO4EzRAL7PjkfxLSWCdN8xRX65b/BAYm31T3ZJ1Fae4LNNLIhj7FKksg
rl6oF8EuYhXUfb/6AIy//IiddDKrXQ00ANCdte8sy7xWmUnraz5lScYrNhHVDVHp
amu+X8j4PC8EF0iFkitssqEJimKWFANT0Myu4NH39m7kKl1TuAZ6Gh9CGSk16IME
FQc8FvEwd6FOaUpU1nb2AHcCMJxjI2YRJUAM2HIvCG/yKFuXQIQxYAyrMGbNHkJu
5h2Zd+e4CQlkJdsvZ1lMDTgkdGAYpdLSkBts+8/+lXmSInmxkdo=
=g9/z
-----END PGP SIGNATURE-----