[ubuntu/oracular-proposed] coq-hierarchy-builder 1.7.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.7.0-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:53: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.7.0-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:53:23 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build2
Distribution: oracular
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.7.0-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a0b6f4b7d9f7c4d3068b1429c511101aec2fd06a 2150 coq-hierarchy-builder_1.7.0-2build2.dsc
 3dbc6c5fb57f27ece5985977b7d83e0403afebf3 2956 coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz
 55a760c74b774198bddf9536c1edaaed395a9cc7 7922 coq-hierarchy-builder_1.7.0-2build2_source.buildinfo
Checksums-Sha256:
 69cdea3542da85ab9a45fb140991896aee9447fe82950ad789b3d0710cb56d92 2150 coq-hierarchy-builder_1.7.0-2build2.dsc
 5207d62a5e1f5a6bc96c96a02c9982c450e4b78c245c49e0ffa8ccf6b526d3d3 2956 coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz
 cf2cbccc99609c89d95717cedfa56f8247ff82924d619ab4d40189dbbef66039 7922 coq-hierarchy-builder_1.7.0-2build2_source.buildinfo
Files:
 bf3487e875013ebc598d67b790304dba 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build2.dsc
 533832bc7ae3e61245491a15d7f436f4 2956 ocaml optional coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz
 04bbdaeb8959889d283eca134e74a03c 7922 ocaml optional coq-hierarchy-builder_1.7.0-2build2_source.buildinfo