[ubuntu/lunar-proposed] coq-hierarchy-builder 1.4.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 19:05:47 +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/coq-hierarchy-builder/1.4.0-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 19:05:47 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-2build2
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hierarchy-builder (1.4.0-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b24323d6c7d6f9ba92345fcce2f3773042edb896 2224 coq-hierarchy-builder_1.4.0-2build2.dsc
 1a6b6c302ca26566f68b78dee5e727830f862128 3216 coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz
 e72212ae1336e174b6c57ff2f3692f8af277d185 7218 coq-hierarchy-builder_1.4.0-2build2_source.buildinfo
Checksums-Sha256:
 b983b72183c0d471553715790bbf5300821d2e235f2bc0578fdf8c47e8c987e3 2224 coq-hierarchy-builder_1.4.0-2build2.dsc
 b5ea14fd8798e07e1bb0aba942aaaa3279bda8fb1035a525276fb3003bac24b6 3216 coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz
 53df95d59de540a7d6335ecd4327a2581cee5f073efa5a6b024e613f3f147eef 7218 coq-hierarchy-builder_1.4.0-2build2_source.buildinfo
Files:
 e0d5e251c0416af421cfafa20d1a2b21 2224 ocaml optional coq-hierarchy-builder_1.4.0-2build2.dsc
 5bebcae259dca8b8b9736069cefb3ae6 3216 ocaml optional coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz
 03153cc34f5d46a3fe5a9664410e40b8 7218 ocaml optional coq-hierarchy-builder_1.4.0-2build2_source.buildinfo