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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:50:12 +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-2build6
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:50:12 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build6
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-2build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4fe4b3155219275325eabe42981bb0d22c4c92eb 2150 coq-hierarchy-builder_1.7.0-2build6.dsc
 13a72d9487e75ec8aa98ebb0fae430adcb7ceb7c 3036 coq-hierarchy-builder_1.7.0-2build6.debian.tar.xz
 6edd7785b5456882acad6bb18e45e30d0773ab56 7922 coq-hierarchy-builder_1.7.0-2build6_source.buildinfo
Checksums-Sha256:
 eeab8af9b2b4f6a6608caf50fd610aff8c343f0d3d19182584806d112644b54d 2150 coq-hierarchy-builder_1.7.0-2build6.dsc
 edf2fcd503f8fadd034a2cdd6843baff19bffa31951a3a96e1fdd5d2cccf3d1b 3036 coq-hierarchy-builder_1.7.0-2build6.debian.tar.xz
 6d406c88cd2594dbe48e6523b941d08952854a0411c085d8916ce53b761a17c4 7922 coq-hierarchy-builder_1.7.0-2build6_source.buildinfo
Files:
 a2d86dbc91dcb315df00331b5cabd17c 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build6.dsc
 9cfcd307feeb103f40cc353b7476d7bb 3036 ocaml optional coq-hierarchy-builder_1.7.0-2build6.debian.tar.xz
 607370d44a320e4e8381bee8dfb9ea8c 7922 ocaml optional coq-hierarchy-builder_1.7.0-2build6_source.buildinfo