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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 25 Jul 2019 14:01:48 +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-1build5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 25 Jul 2019 14:01:48 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build5
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-1build5) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 80c28c6758501129f9f3b3adc9934ce00b5c3edb 2125 prooftree_0.13-1build5.dsc
 0e1c50c8afb6b67489e573cd052859464fc079e2 2612 prooftree_0.13-1build5.debian.tar.xz
 3a5d937895c0b38f6e8a44a1b746a737a0d7a461 13729 prooftree_0.13-1build5_source.buildinfo
Checksums-Sha256:
 e2cc818002f34be91f734b4aabda6befb9b988ea83f89739c32a27439bd9045e 2125 prooftree_0.13-1build5.dsc
 ecafece3fe169f8512df1a7b632ba188aa6ee1a99277017c28a50c16b6fbe2a2 2612 prooftree_0.13-1build5.debian.tar.xz
 43331703fd8d42f5045be362b1e4f0ae0ae7d03ac3dd544d8ff058ac5cee373c 13729 prooftree_0.13-1build5_source.buildinfo
Files:
 d90c2547040ec75e3eab3429a8e3190c 2125 science optional prooftree_0.13-1build5.dsc
 6e4329ef1ff6a654dd0540bca19fc7eb 2612 science optional prooftree_0.13-1build5.debian.tar.xz
 906959ea724ceb9737b4b26c27f20e96 13729 science optional prooftree_0.13-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05mi0ACgkQ808JdE6f
XdlMPw/+IWdMQ2JJ/QiDDLwANxCuaKaJfUDI6wdoKe2sgWFdz4k4Vy7U+zIj4/Tt
xIYCP1HIBur57hx1nnd8hZit5YwSKtK2/5a4Sktka+ajYkkNYEAdDdYUl/2rJugj
e1XB2OlPOH+xRerunbn6tC4GOSkDJDbdBTjFoqr+LjEshT0b5QuSa8AKgURhLFpv
unN4ZpRnfCfH28BlDcArvBjCFzJyloCTKmTC56xASvEW533R6E+mBamgr/ZhJK0a
NduRPzvZjfTZNTY8JiFRVNueVRcYp0sJ9r2LSFModfdnJyz0s3bKfXSI/TKzY8Jz
m4df0HYzx6wcN8mpJtgY1bfJLykcdcpzSxlAR6cAMN9niBbzNqFHJQyt+N1Wau93
9Jf8gS8v+QzvFkIHe/xdGoRdjKA5crMxLFie8003vLwJvs6zYyVyEzudekCtBybj
DOeP4suY1Jn+22QIAsW3Orw7xgHOvjRDVKOfaX0PoEaZRfr6haisf7zSE5mjasUA
mU9UrPMGjtd5L0FQgc9+DJ5R/5xI5Xpv6qLbwR2b3kaT8fD6RcqRLr18Yb+e+902
oGEXM6WwnqXfsP4qCrmuWvDhs9miQJ0Fc/UGQg1BEtCiNZa4Rr4j+sZR9pru1+Ti
nxGPdG7begrNbG6ejvcetu4fTbK4boOtGf4izSELOaxo5tuxRgY=
=YAin
-----END PGP SIGNATURE-----