[ubuntu/plucky-proposed] coq-hierarchy-builder 1.8.1-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.1-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:08:39 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:08:39 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build2
Distribution: plucky
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3df1eedfa7ef8b5b3b3e02faccd1a7608d098157 2150 coq-hierarchy-builder_1.8.1-1build2.dsc
 bc439109faa5ecc124389fc6950b38b2ff5cdb0f 2984 coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz
 84c307ef63ffc94690c111f06ec3d2b8e92de2ac 7369 coq-hierarchy-builder_1.8.1-1build2_source.buildinfo
Checksums-Sha256:
 b05b3c07eda24aa4cb49fa423cc3aecfd678d476580a7ec56c9f313f25b3e5fb 2150 coq-hierarchy-builder_1.8.1-1build2.dsc
 64ce950a4a28cde0745fbab7d193d81e8f1ebd70da5aa7c33906b11f4edcf844 2984 coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz
 6931fc07666fd1084daeb1fc56e5a27ffbd9c5b32d41074953f918df725c0289 7369 coq-hierarchy-builder_1.8.1-1build2_source.buildinfo
Files:
 7650b272d0e456c9406bb2e143b3117c 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build2.dsc
 b36011839d04428c686ef9dee8661337 2984 ocaml optional coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz
 18c992420935fc4dbdd84480e25a9efd 7369 ocaml optional coq-hierarchy-builder_1.8.1-1build2_source.buildinfo