[ubuntu/lunar-proposed] prooftree 0.13-2build5 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-2build5) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:25:35 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:25:35 +0100
Source: prooftree
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13-2build5
Distribution: lunar
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-2build5) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3b29d75b0c767dfe7a1d0a388b4ca65dda9f74aa 2000 prooftree_0.13-2build5.dsc
 490c2cfb0754acad5579920e023a853bafdf3147 2628 prooftree_0.13-2build5.debian.tar.xz
 2e7835c146d8622edec6794428fe46941366fabe 8115 prooftree_0.13-2build5_source.buildinfo
Checksums-Sha256:
 56f8f9fa5a4fcf0f0ee33fa8d6d6e6da33191fb1d2d972d0afe438c3ae18ab0f 2000 prooftree_0.13-2build5.dsc
 538159b5faf97c83a79599631ac0d2245956a435db8820c16738384c8d805f54 2628 prooftree_0.13-2build5.debian.tar.xz
 22f945c997b108dc4d3ab739dd245c1e8c953bc31ba9a685adba6a978c8a08d5 8115 prooftree_0.13-2build5_source.buildinfo
Files:
 63a3636929e00af786ac9506c17662e6 2000 science optional prooftree_0.13-2build5.dsc
 d0bb87b6596ea60c85598eb97c86ad01 2628 science optional prooftree_0.13-2build5.debian.tar.xz
 5a5cc5105097dedb395373c0393d1761 8115 science optional prooftree_0.13-2build5_source.buildinfo