[ubuntu/mantic-proposed] coq-hierarchy-builder 1.4.0-6build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-6build2) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 28 Jul 2023 05:36:25 +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.4.0-6build2
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 05:36:25 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build2
Distribution: mantic
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.4.0-6build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0ab84828ba6752a67e8aca22afd4d08a733dcb72 2224 coq-hierarchy-builder_1.4.0-6build2.dsc
 8c7420f30e0ca639580d895e670e1369ac66b934 5696 coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz
 5dedfaeec8b7e3133b72dc50d280970eb32c6466 7852 coq-hierarchy-builder_1.4.0-6build2_source.buildinfo
Checksums-Sha256:
 0d11d3c7fa0ec91137e1d2bc1a3f54c1da33c1c7446ca65cc5af361371ea5272 2224 coq-hierarchy-builder_1.4.0-6build2.dsc
 66a5cb5731d0e3db5db77efa2f9a38457196832c488766660cf273fad7557e6a 5696 coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz
 d5d350263342ac04bf2e5fd6b906e68b3edeb20452ebdaab78070065626778f4 7852 coq-hierarchy-builder_1.4.0-6build2_source.buildinfo
Files:
 d57ffda3117f60461d6aecb3924c88a5 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build2.dsc
 57172a663b1f54dcacef3ddf52ffcb93 5696 ocaml optional coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz
 852a1caddd948169a055a6ec1e9b4cae 7852 ocaml optional coq-hierarchy-builder_1.4.0-6build2_source.buildinfo