[ubuntu/plucky-proposed] coq-hierarchy-builder 1.8.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.0-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:41:19 +0100
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.8.0-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:41:19 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1build2
Distribution: plucky
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.8.0-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c17cd3270f9fe1301c89313d840955e739bc8ceb 2150 coq-hierarchy-builder_1.8.0-1build2.dsc
 ae471d0c755d133934935c7d07767493abe63656 2972 coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz
 c691359a5d736067efaf5cb3a639eba4bb9d81df 7830 coq-hierarchy-builder_1.8.0-1build2_source.buildinfo
Checksums-Sha256:
 077a46cb65d59e748e726231beeaf31c8ed19ec04e2e1e9a73e47a3053f2fcb1 2150 coq-hierarchy-builder_1.8.0-1build2.dsc
 ad2c6e098c5e560ad7a18629082ebb5468d44054cb4f61a14cd6800374177740 2972 coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz
 da022d3c139e10f1cc224258b3c7685806889c371a67b203d84ba6ddd6dc145d 7830 coq-hierarchy-builder_1.8.0-1build2_source.buildinfo
Files:
 9dafba13b96a3874570c8d18b66a4d17 2150 ocaml optional coq-hierarchy-builder_1.8.0-1build2.dsc
 41fbe0a0eb294733d4a70341abd21934 2972 ocaml optional coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz
 324c3b44fe3ac7693189dab9d99eeeaa 7830 ocaml optional coq-hierarchy-builder_1.8.0-1build2_source.buildinfo