[ubuntu/noble-proposed] coq-hierarchy-builder 1.6.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.6.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:26:08 +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.6.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:26:08 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build2
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.6.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 72ecb2074fe6f30d8781c753cc5769439085c056 2224 coq-hierarchy-builder_1.6.0-1build2.dsc
 25de75b94d308b8f3b95dbc93b2bd0c1d1339cb2 3540 coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz
 bb49f883ea8e3b6c941d3bd5e22d031dac649e1d 7881 coq-hierarchy-builder_1.6.0-1build2_source.buildinfo
Checksums-Sha256:
 477c7f2f1982b2970adbcc6d6726e6cd1443abd9c1646ba514b21a93965054e7 2224 coq-hierarchy-builder_1.6.0-1build2.dsc
 6240bd82c516ca1521340078516dd1549fce46ab606d5a1803a8c1d8e65ba61a 3540 coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz
 9bd7bc04535ceb4441fcd028974cb9ca50eeb3a46609ac6e3dce9d929ad950ed 7881 coq-hierarchy-builder_1.6.0-1build2_source.buildinfo
Files:
 bcb509c23b65bbb54a83e094900dae1c 2224 ocaml optional coq-hierarchy-builder_1.6.0-1build2.dsc
 8338c2b28cc60db88f7d3b18e2730db4 3540 ocaml optional coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz
 d348f2d1ee750e9ab0f91835c0ee192b 7881 ocaml optional coq-hierarchy-builder_1.6.0-1build2_source.buildinfo