[ubuntu/mantic-proposed] coq-hierarchy-builder 1.4.0-5build1 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-5build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 07 Jul 2023 23:51:33 +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.4.0-5build1
-------------- next part --------------
Format: 1.8
Date: Fri, 07 Jul 2023 23:51:33 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-5build1
Distribution: mantic
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.4.0-5build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 89d55bc4aad711acad67ce44ba59942d0165fdce 2224 coq-hierarchy-builder_1.4.0-5build1.dsc
 f9b2fe0e2143e561cb8ef12ca610ea3efb09fd78 3812 coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz
 b9aa885e2f7738e230a7038768c4f202e535eed8 7852 coq-hierarchy-builder_1.4.0-5build1_source.buildinfo
Checksums-Sha256:
 1ddf27ef3e820e2aa0b1444f1d840d0eb9e55f8a1e199fdccc56517c562818c3 2224 coq-hierarchy-builder_1.4.0-5build1.dsc
 8c42eba2c1c30ff7daf8450f711d0fada826631887a9005719b346f28ad27731 3812 coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz
 297b378b6c6181d70e02900323dc5db37026b103044be86535b4906b7d771540 7852 coq-hierarchy-builder_1.4.0-5build1_source.buildinfo
Files:
 7f1678b21e6ef658fda8b957bc530089 2224 ocaml optional coq-hierarchy-builder_1.4.0-5build1.dsc
 f2ab848c3c2d2028491ea160e77e89c0 3812 ocaml optional coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz
 bd62215a50ac353d1dde0223bd9d1fa3 7852 ocaml optional coq-hierarchy-builder_1.4.0-5build1_source.buildinfo