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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:03:52 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:03:52 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build11
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-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 debb5c9bd5407c837309785bb358dbf55d726854 2154 coq-hierarchy-builder_1.8.1-1build11.dsc
 1967fdbe4aa28e37b243b7fbd70a98eb9d6faadc 3128 coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz
 db1a6fcbfd1a55eaf1f0c2650d1f36432ad41e6b 7929 coq-hierarchy-builder_1.8.1-1build11_source.buildinfo
Checksums-Sha256:
 bffe0b13eca57b5022f5683dfa1e8954a0585d340242447d242d7f3359fc14e4 2154 coq-hierarchy-builder_1.8.1-1build11.dsc
 c90f13aa780b414fdb65253eacca80a060b03ce3e89020160602f34db56bbce0 3128 coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz
 6a14c9d4140a23fdb16db0147d18deffe6338aa2fb8788b58b7c169991f15f67 7929 coq-hierarchy-builder_1.8.1-1build11_source.buildinfo
Files:
 9723f22c37e85fc4644c8d1b52962457 2154 ocaml optional coq-hierarchy-builder_1.8.1-1build11.dsc
 206397f7b00b0f78eb0d6ab46b5c92d3 3128 ocaml optional coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz
 c35070d630a8359c5b988462d2b034ba 7929 ocaml optional coq-hierarchy-builder_1.8.1-1build11_source.buildinfo