[ubuntu/hirsute-proposed] prooftree 0.13-2build2 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-2build2) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 28 Nov 2020 10:25:14 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/prooftree/0.13-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Nov 2020 10:25:14 +0100
Source: prooftree
Architecture: source
Version: 0.13-2build2
Distribution: hirsute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 prooftree (0.13-2build2) hirsute; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8b538ea1aa450959cccc8a33b9905d8f79257b7f 2000 prooftree_0.13-2build2.dsc
 951c57f1f66fc400a7173cd7b178397db4fe35ed 2580 prooftree_0.13-2build2.debian.tar.xz
 f2d677e547d66d888901758cb2834fe4e71a7bb9 7003 prooftree_0.13-2build2_source.buildinfo
Checksums-Sha256:
 eccd9fbb4ae9b044a68ed1c090840867500d67a05929469ddce4d241d7724c0a 2000 prooftree_0.13-2build2.dsc
 a0d64b745701882f22cb3f496a8dcded9adfd881ca4eac7c5b5daea440190643 2580 prooftree_0.13-2build2.debian.tar.xz
 d9e4c7726ca486705769c1e754cb9d7ca5b3fd207b8c80cc030f44e53a6e6797 7003 prooftree_0.13-2build2_source.buildinfo
Files:
 0ebab1b723a90d4540c6ed74afbe7fc1 2000 science optional prooftree_0.13-2build2.dsc
 d0fb91baea20e0a61846d405126de504 2580 science optional prooftree_0.13-2build2.debian.tar.xz
 c6f2016d071c0d9c144c5ec9cfc795ef 7003 science optional prooftree_0.13-2build2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/CF3sACgkQ808JdE6f
XdmW1RAArR6dtmN+oFmJA2/IX1s0HrPMF5r4bBFUBb6g0LU7ERuP+P6qTnXZNUOL
e5Z8eoL+aeekJpc+/AwCAmgqVLqXsJeGaP2HvI5mhTHEfg5SyXRuHo7sQRKeNUJp
boA1tkVnXKZtAtMiE8SfLm3goc9gXnUXa8aIgbbv8YnPVE8WnRQmYaLdy9cvjMu6
vDLWgRhCely/nKcG/OGKEuDTITKfBlaPwJuj3LNpBYxVFUm/bIh8hHwHcHi6XYzu
zWdgDdP2eb+pt7tUuyJMyD49z0kwT8zjjL1p5bFCj/j70d/xb8Y7QctkCCmtLR6M
aAQ24OfJZ/tIvdhsin3UdCM4IOQzBeDE9fP5pZbgds35xalEoJCVcbtSN/IlTPYk
N2AVvI87kThJB0I3QzzRWHU5OvO0S2zJ8JeYTs9sTmMaW8XWbRFs8WulmVFLpesN
SYkSVSc483PSfcGfLzp7WfIrbBJ72csEhOCHBfXEdBZMwkl9qNbkZeED1BSPj+gJ
GMIgqMZ23K26Daq3ABgB2aOoPXZgyiagjNq5MeqKiTE9zOb7UnNhlhN7tfvWV4p3
eo/m6JgjD3Q17iWWKAxsMyFUz4WDIVSbvHOC5IOK9QabwVd/4aluN6uJWM1hrxEE
GJNvFtkWkOYx4VFs3wuC7ZmhcSFv5zHfevCLlz5A6THsNT7RPZ4=
=+hP/
-----END PGP SIGNATURE-----