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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 07:49:58 +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-6build8
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 07:49:58 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build8
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-6build8) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a344cfdbbd87e5ef92f20c24e54637c2fa38f263 2224 coq-hierarchy-builder_1.4.0-6build8.dsc
 c46be188a2b90d28803fb6e1646b3015df6291e8 5784 coq-hierarchy-builder_1.4.0-6build8.debian.tar.xz
 2c96244fd5fc24a266c36c147980385ed4377a2d 7878 coq-hierarchy-builder_1.4.0-6build8_source.buildinfo
Checksums-Sha256:
 799617f5f0e35894e8d65f929864bc7ca9c42e84b6456874dc0f7ccee6a04663 2224 coq-hierarchy-builder_1.4.0-6build8.dsc
 f11a85d310f0266f35ffc7af9d3c097ac83d157c3eb64ec4b099293ebdcd50f8 5784 coq-hierarchy-builder_1.4.0-6build8.debian.tar.xz
 13bd7b8eb01045eceedff8a7a35df1fe2b36bc3c72efa2d2e209633782c810bd 7878 coq-hierarchy-builder_1.4.0-6build8_source.buildinfo
Files:
 971ee67458b605cad5876599ca510cea 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build8.dsc
 1ab8a5eddda635bb076fd30442c67280 5784 ocaml optional coq-hierarchy-builder_1.4.0-6build8.debian.tar.xz
 e5587a3b8c1a971f21ef959c9963a1c1 7878 ocaml optional coq-hierarchy-builder_1.4.0-6build8_source.buildinfo