[ubuntu/questing-proposed] coq-hierarchy-builder 1.8.1-1build6 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.1-1build6) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:20:19 +0200
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.8.1-1build6
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:20:19 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build6
Distribution: questing
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.8.1-1build6) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e6d65b370cf63e08f1df54b3e4b84322478bab74 2150 coq-hierarchy-builder_1.8.1-1build6.dsc
 89909f03fd66f0be5da9051395ac307caffe1a8c 3064 coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz
 bb2d7721b840ae2b4bbc678aee02966b3243c96e 6936 coq-hierarchy-builder_1.8.1-1build6_source.buildinfo
Checksums-Sha256:
 cdc61807739789d642dc1f70275e50c7e43d557019043e8f7cf7227d313f5974 2150 coq-hierarchy-builder_1.8.1-1build6.dsc
 6d55516ce11122e8ca54b9316639070e9869f0d6cc12f980d032ccb06299599d 3064 coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz
 bc73549d95f17296c3b9917f0894ba416f122da0a0134d8d3d5973862e52165f 6936 coq-hierarchy-builder_1.8.1-1build6_source.buildinfo
Files:
 252484bd35de39a1b80415ee5d7b0c9e 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build6.dsc
 08dc26fa26aa89b6759a5a5b9f3919ed 3064 ocaml optional coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz
 fb69e11b84267601a41169a208f8861e 6936 ocaml optional coq-hierarchy-builder_1.8.1-1build6_source.buildinfo