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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:04:13 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:04:13 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1build3
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c97ad1ea72ab743a92ff3a31d709e74186a2cf44 2150 coq-hierarchy-builder_1.8.0-1build3.dsc
 28f35307912dacf307a78d3207e0e164aca3049a 2976 coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz
 a15c049d3c48baa1ea6c300fd5e8e7673aa7335d 7830 coq-hierarchy-builder_1.8.0-1build3_source.buildinfo
Checksums-Sha256:
 45d54800bffd1a3edae720452058edd4db6a04a2d3e678378f78aeba45352f78 2150 coq-hierarchy-builder_1.8.0-1build3.dsc
 8b66091af8f165109755825eace796a195c36cdc5ca11dc6bd503797da51733b 2976 coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz
 062c3a8612a07776f652b166c376fe7541791e12389dc987c9d50c57da2eff3f 7830 coq-hierarchy-builder_1.8.0-1build3_source.buildinfo
Files:
 5c43e5cd5bfa66806054373086bb0a02 2150 ocaml optional coq-hierarchy-builder_1.8.0-1build3.dsc
 9dbf86772f2dc0b223f246a85e9073ff 2976 ocaml optional coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz
 ff2f26c52dd0821c71376045e5e38363 7830 ocaml optional coq-hierarchy-builder_1.8.0-1build3_source.buildinfo