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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:12:58 +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-2build6
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:12:58 +0100
Source: prooftree
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13-2build6
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-2build6) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 44be2f22d16c8ec1bfbfcc905cdbaf96c9ceba94 2000 prooftree_0.13-2build6.dsc
 5e770c7c967ca2efefcd5e16b520c9cc2765b8b6 2636 prooftree_0.13-2build6.debian.tar.xz
 23358d68920e9a27737d7763ff5f06c861594ce8 8115 prooftree_0.13-2build6_source.buildinfo
Checksums-Sha256:
 83c2eb0682ebff5eb3d5ccf9e80bdfd1d88d82716b1594ce55305e721493a242 2000 prooftree_0.13-2build6.dsc
 980437c91ad1427bac0a8962ac25e6a626d1ca9e5a627f7c1892be0fec750390 2636 prooftree_0.13-2build6.debian.tar.xz
 0828bfdda7509653075401990a72db110b5716e8fb113aa8849fdc73a8f83557 8115 prooftree_0.13-2build6_source.buildinfo
Files:
 b5f7035fc6f4e96a71e0d78fa37b2b5d 2000 science optional prooftree_0.13-2build6.dsc
 579984488952a345dd0d4b14c2fc93b6 2636 science optional prooftree_0.13-2build6.debian.tar.xz
 67a4a728dfce61cc7d98eb3ec076cd78 8115 science optional prooftree_0.13-2build6_source.buildinfo