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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:55:52 +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-2build8
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:55:52 +0100
Source: prooftree
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13-2build8
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-2build8) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c206ce576bfd910d82a9009ba347f5e5963c62f5 2000 prooftree_0.13-2build8.dsc
 771afdc8c01a338eb10b130a91beefb830146c49 2664 prooftree_0.13-2build8.debian.tar.xz
 127ae2f8f65d26266b16adbb810037f35b82e7ba 7382 prooftree_0.13-2build8_source.buildinfo
Checksums-Sha256:
 bda32cdaf986e0a81c251b98c5638d4f74dd57a2bc132d5e88746b229ed3e609 2000 prooftree_0.13-2build8.dsc
 cf34829112e558e667f6653ba91350c07c25fbac73fa9731a2a519a3e8d48167 2664 prooftree_0.13-2build8.debian.tar.xz
 da2a6166ec52523f696686cef54aed1519ca60393d6089f4b6b84a6fbd9f0f02 7382 prooftree_0.13-2build8_source.buildinfo
Files:
 97fce1d81d42c985a719c98a3ef15d76 2000 science optional prooftree_0.13-2build8.dsc
 d9c42f17224b57503731d871bd7ac5b3 2664 science optional prooftree_0.13-2build8.debian.tar.xz
 43153b80b46daef227764a52bfbfe069 7382 science optional prooftree_0.13-2build8_source.buildinfo