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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 25 Oct 2025 18:13:23 +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-1build9
-------------- next part --------------
Format: 1.8
Date: Sat, 25 Oct 2025 18:13:23 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build9
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-1build9) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fda8898f7df29286c2916a5ce8e74bf226ddf3af 2150 coq-hierarchy-builder_1.8.1-1build9.dsc
 a99ef60dfbaccd093a93968aaa1e09f3b8279588 3096 coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz
 245a8e36ae2612d772c7921b607b718aa6cdc6a5 5699 coq-hierarchy-builder_1.8.1-1build9_source.buildinfo
Checksums-Sha256:
 cc7c16f1c067129e593d06932f2fbb60fdd27a45e1cf07999a1065504ff81653 2150 coq-hierarchy-builder_1.8.1-1build9.dsc
 f1312335ec7691bf79dd12733c33a2e8578e846a7e28562acba35b97d597e607 3096 coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz
 f854e0da8950ee7918e8b00ca4f1fa18aa39b806deb4f5f106f681752203299c 5699 coq-hierarchy-builder_1.8.1-1build9_source.buildinfo
Files:
 a26c0fb0aa54067c57c36beb19a3182b 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build9.dsc
 51d7d0744bfb3ad9e00b9523422cd8d5 3096 ocaml optional coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz
 f4c8982edffe327f7e9b15494f83a078 5699 ocaml optional coq-hierarchy-builder_1.8.1-1build9_source.buildinfo