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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 07 Sep 2024 14:03:45 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 14:03:45 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build5
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-2build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e6daa1821591cc1e273e594e3005ddde58b681c0 2150 coq-hierarchy-builder_1.7.0-2build5.dsc
 738a2582654ac1463452a0311d42504cf868a9e8 3024 coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz
 7f77124affe742599a9526e53bb978b37c0ef5af 7922 coq-hierarchy-builder_1.7.0-2build5_source.buildinfo
Checksums-Sha256:
 b2da3283fbc126650baeab5acb3ddec1a8e1994b35fcc81b6df041cbdbe61b43 2150 coq-hierarchy-builder_1.7.0-2build5.dsc
 ef4942d8773cd79e111da656f0654b1cbc40b1837905088e5d53f4dc128fd685 3024 coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz
 1c1f66685b3e1b444a95f7e3f1f47e14526b6a7413065c6eb355ba032808effc 7922 coq-hierarchy-builder_1.7.0-2build5_source.buildinfo
Files:
 4f29776c38905f04166f56e15472b2df 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build5.dsc
 22f9786685c0268d788befdff5ec04d4 3024 ocaml optional coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz
 84a587b6a758afc74b6214b4b6aeb1b6 7922 ocaml optional coq-hierarchy-builder_1.7.0-2build5_source.buildinfo