[ubuntu/resolute-proposed] coq-hierarchy-builder 1.8.1-1build7 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.1-1build7) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:47:06 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:47:06 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build7
Distribution: resolute
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ac8c5eac356f01bb3ee9c60fcdf42925e0b0a471 2150 coq-hierarchy-builder_1.8.1-1build7.dsc
 20203f7e1dff501924418736075b2b30850b3708 3080 coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz
 b93b312f8c5617f9a06c497a024a8ebafe8cf181 6938 coq-hierarchy-builder_1.8.1-1build7_source.buildinfo
Checksums-Sha256:
 dc2183300648146a286714ad146dfaf1804434434cdc365244de3973b6aba993 2150 coq-hierarchy-builder_1.8.1-1build7.dsc
 b049f7c93c10ca045856b9e6fce6a4a8ed19ffe8652818b8db5d0df1ef552eef 3080 coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz
 24ba495cca060e3a917b2cba619dd2f8514faa46fc63b7795b8b40790c76d1c5 6938 coq-hierarchy-builder_1.8.1-1build7_source.buildinfo
Files:
 b2796229207df3307417aa98db312559 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build7.dsc
 805dfefb182582678ab8861b22a85af3 3080 ocaml optional coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz
 a70350c510f0ea39b0b035ab4d97f875 6938 ocaml optional coq-hierarchy-builder_1.8.1-1build7_source.buildinfo