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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:03 +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-6build7
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:03 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build7
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-6build7) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 40907525bd105cf9747cd564cf0af67c91211d3e 2224 coq-hierarchy-builder_1.4.0-6build7.dsc
 7abdf8736b169e522254e8897fb261de5d8e4ef5 5768 coq-hierarchy-builder_1.4.0-6build7.debian.tar.xz
 90d16d1ad3de8b658e2c53da52d62dd6813b0eff 7878 coq-hierarchy-builder_1.4.0-6build7_source.buildinfo
Checksums-Sha256:
 f14e4f00754a91b441252e5bdedb53e478ba62789d282aea3b70bf363a2caaa7 2224 coq-hierarchy-builder_1.4.0-6build7.dsc
 625abebcc4ec5c27ddc3d40c4632db65220770e5ed2b53bda81baa437846cea6 5768 coq-hierarchy-builder_1.4.0-6build7.debian.tar.xz
 fae10ddc8b536fd39a5e37f046c0210ee5a1718b5a325b2e2e3dc356ec7a86d6 7878 coq-hierarchy-builder_1.4.0-6build7_source.buildinfo
Files:
 05d4f173b22a51b31b8e08d8693f2b18 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build7.dsc
 e2edbdc34de8a5c5621124d54009c892 5768 ocaml optional coq-hierarchy-builder_1.4.0-6build7.debian.tar.xz
 b1d5a9e4258c08242def2fcadc50e92d 7878 ocaml optional coq-hierarchy-builder_1.4.0-6build7_source.buildinfo