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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:34:16 +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.8.1-1build12
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:34:16 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build12
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-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d38776de707370c9598cbe6e87f5a4d6b5b49700 2154 coq-hierarchy-builder_1.8.1-1build12.dsc
 921531ca7b36778e87e735cf1c848e0889751ab9 3132 coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz
 294c2c78bc3e49beef2605ff679f4a67a6a1673c 7933 coq-hierarchy-builder_1.8.1-1build12_source.buildinfo
Checksums-Sha256:
 acdf89b967f8d28b80b757425725561f82bc0602713035764ad8dccd596d6d0b 2154 coq-hierarchy-builder_1.8.1-1build12.dsc
 78131a00fdfe93c1de86f3d2ad5659d1521578c9728d57c308593da3992f0da0 3132 coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz
 1a6b91553703c8690be35ba2ac361d9eb1516c945d5b0a450061cabbc81bb970 7933 coq-hierarchy-builder_1.8.1-1build12_source.buildinfo
Files:
 25f65558ce5976638d6f8b166e1dc0af 2154 ocaml optional coq-hierarchy-builder_1.8.1-1build12.dsc
 1468029b8704e92fa08142ede0b057d1 3132 ocaml optional coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz
 d29fdb4414c40eaddc4b9c479d2c6a4c 7933 ocaml optional coq-hierarchy-builder_1.8.1-1build12_source.buildinfo