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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:27 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:27 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build3
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-2build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4fca0d8fa93f024b38f5b9c5a0fd5f44f0dec878 2150 coq-hierarchy-builder_1.7.0-2build3.dsc
 92651d001d714648031e2b6b7e6d31cf9e4c352d 2964 coq-hierarchy-builder_1.7.0-2build3.debian.tar.xz
 b1b85ae67453c0d4e60961e2e52ee786c4664603 7922 coq-hierarchy-builder_1.7.0-2build3_source.buildinfo
Checksums-Sha256:
 06443d092c31d9e6bccaa4da1fa03a094a9f96b1b1340a7318ce305ddca4de9a 2150 coq-hierarchy-builder_1.7.0-2build3.dsc
 d4b428ca79653765421ad38cf9a8b8b740d4a615c62eed1080fc692b9faabe91 2964 coq-hierarchy-builder_1.7.0-2build3.debian.tar.xz
 808f3c5028c9093c937e388bb0c6305c436c48bfe04e431e687f3597ed47c5e5 7922 coq-hierarchy-builder_1.7.0-2build3_source.buildinfo
Files:
 7c40d2d04cc38b1da6746f20511ebfbb 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build3.dsc
 4985af13ced5251bd19f2ac760550266 2964 ocaml optional coq-hierarchy-builder_1.7.0-2build3.debian.tar.xz
 2679a28a9c1ac7e5b404dc54bce89fcf 7922 ocaml optional coq-hierarchy-builder_1.7.0-2build3_source.buildinfo