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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:49:59 +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-2build7
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:49:59 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build7
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-2build7) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2334070c1f28dec2a384fc1369950533ceff1be9 2150 coq-hierarchy-builder_1.7.0-2build7.dsc
 e76ec9481fbf27a7908fd585ee7172d8268c076c 3048 coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz
 6a787b0842bf55519c99441dd55241300e70c665 7922 coq-hierarchy-builder_1.7.0-2build7_source.buildinfo
Checksums-Sha256:
 6db1c2ea2325a73d4943dbd140334db3583feaa0fd34668822d39a0a4f67be7f 2150 coq-hierarchy-builder_1.7.0-2build7.dsc
 1fee42e3eddff64d78fcdabd3b39dbf5ded9dcacd87b2d8389fb923cabd0b198 3048 coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz
 e9b082f2d235ffa2da7e0b1aecc7f9def9bbc930a5b0ceb09ec302617a41cc86 7922 coq-hierarchy-builder_1.7.0-2build7_source.buildinfo
Files:
 62283e6d3e81a2c5d02258ca5be641ae 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build7.dsc
 f0b722526330b2cdda914ce8f0d721be 3048 ocaml optional coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz
 856e763353ed1e31394869f07ada0d7b 7922 ocaml optional coq-hierarchy-builder_1.7.0-2build7_source.buildinfo