[ubuntu/noble-proposed] coq-hierarchy-builder 1.4.0-6build6 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-6build6) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:14:20 +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-6build6
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:14:20 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build6
Distribution: noble
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-6build6) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0d619de8562782d07bcd19386136c5d335994d0c 2224 coq-hierarchy-builder_1.4.0-6build6.dsc
 65cd82cdf3a28da54aa54cc8190c4c7b0a0e81ec 5756 coq-hierarchy-builder_1.4.0-6build6.debian.tar.xz
 6d87268d3b32560ba1d02e9a04bf3e906107c2f4 7878 coq-hierarchy-builder_1.4.0-6build6_source.buildinfo
Checksums-Sha256:
 d1a1542b48efde0b9679772747d07e39f8e991602389653c215471c5c7f16649 2224 coq-hierarchy-builder_1.4.0-6build6.dsc
 e23ebb1355d96be74fbd41c06aff10240a11a713125b599cfc150b8163603a95 5756 coq-hierarchy-builder_1.4.0-6build6.debian.tar.xz
 9f2e5bd417be8a8b8c4449b5b80d7af1fcdcca8e9af96ebc3a35e5bcb99d248d 7878 coq-hierarchy-builder_1.4.0-6build6_source.buildinfo
Files:
 d67aeae9fe9a8af760478920f0008a44 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build6.dsc
 7899c9dd43cb74a4808bae2848cff327 5756 ocaml optional coq-hierarchy-builder_1.4.0-6build6.debian.tar.xz
 452d2e5859d74e56bac41d8614eef122 7878 ocaml optional coq-hierarchy-builder_1.4.0-6build6_source.buildinfo