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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 24 Oct 2025 19:23:28 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Fri, 24 Oct 2025 19:23:28 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build8
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-1build8) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5a4372d398aba503a7fcc5beb06e4464ec036866 2150 coq-hierarchy-builder_1.8.1-1build8.dsc
 9fc08014f560ec2c04a11f437f82753c79ce2fd0 3092 coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz
 d6fb9b7aed3e518bd3ce3267361a81f6b21ec221 6938 coq-hierarchy-builder_1.8.1-1build8_source.buildinfo
Checksums-Sha256:
 4e945abb484472065400924afe2391103e18f81f8cef82e3ae9a3617e074b6a7 2150 coq-hierarchy-builder_1.8.1-1build8.dsc
 c5fddf6292d3ced003cb09c86f8eb708a0d9cf598312af1dd286d22dd9ca0381 3092 coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz
 3b8c466d6bea2cceb035405fb6942dd1ed31d5f7363c42e71748750cc3247255 6938 coq-hierarchy-builder_1.8.1-1build8_source.buildinfo
Files:
 da8d656db2a82e0c2b6306674f1f14df 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build8.dsc
 eb8ccc68293c0b0ca1178865aeb1f560 3092 ocaml optional coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz
 e3b9515f0f1187b036750e4c742734db 6938 ocaml optional coq-hierarchy-builder_1.8.1-1build8_source.buildinfo