[ubuntu/plucky-proposed] coq-hierarchy-builder 1.8.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.0-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:53:49 +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.0-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:53:49 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1build4
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.0-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f9508a7773333abb441ae3b2c33fb44efece4ef0 2150 coq-hierarchy-builder_1.8.0-1build4.dsc
 405b5bc50bbd6511576a7f6012d131bc1ce7d6b6 3000 coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz
 b5b4fcfac0ca30797c804953c987fbaf897c4e50 7369 coq-hierarchy-builder_1.8.0-1build4_source.buildinfo
Checksums-Sha256:
 1d345799a044b4287e973415516b74a1edef728fe6a3fa31d30a1a0404f5ca01 2150 coq-hierarchy-builder_1.8.0-1build4.dsc
 6ddf640841d77526ebf27f409a8bc9f4674065d72f7630dc69f6d4963230d92a 3000 coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz
 762bdfa0eb35b243e11b0bccc1e37f1f0bf8fe24d61878d4b54d4a98f6351a3f 7369 coq-hierarchy-builder_1.8.0-1build4_source.buildinfo
Files:
 41e3d8ad87c37398b14f62f49477e6ac 2150 ocaml optional coq-hierarchy-builder_1.8.0-1build4.dsc
 d3b78c7087758f6c90ebe608da5c38c6 3000 ocaml optional coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz
 5c6bef5787c3c134258f48028a69606f 7369 ocaml optional coq-hierarchy-builder_1.8.0-1build4_source.buildinfo