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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:57 +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-1build13
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:57 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build13
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-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7c7ef8a63c4bc07ad1d2aeaac4fd8fcbc61f4b69 2154 coq-hierarchy-builder_1.8.1-1build13.dsc
 d54ab9035ef6368e5976747e0ce5ee899ac8ace6 3144 coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz
 2d93e5ba76f91ee6a7563bc118a07e05f2862596 7933 coq-hierarchy-builder_1.8.1-1build13_source.buildinfo
Checksums-Sha256:
 b94ded5bed820c58b345ad043bdf0aa40a7f6c60957c1cf880b7a13bc282a03e 2154 coq-hierarchy-builder_1.8.1-1build13.dsc
 d03677d29da88f25e1ced3b58d5dd72b1cb934ce6e6d98fb62087cb38c2df4d7 3144 coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz
 696c8ccf23479e93e0f6fc1d5c144c7f3a919d63fd52c567bfcb69bc853a6921 7933 coq-hierarchy-builder_1.8.1-1build13_source.buildinfo
Files:
 5b958129d0da6bba4de5cb6d94e4d793 2154 ocaml optional coq-hierarchy-builder_1.8.1-1build13.dsc
 378b1f35d6dc7f812a4f2f81d4a37fab 3144 ocaml optional coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz
 f681695ab88ea7db6d91c1ebf92e5b84 7933 ocaml optional coq-hierarchy-builder_1.8.1-1build13_source.buildinfo