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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 18 Jul 2023 08:17:36 +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-5build2
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Jul 2023 08:17:36 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-5build2
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-5build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 927e251386cfaa78320e93e733de04096fd5b042 2224 coq-hierarchy-builder_1.4.0-5build2.dsc
 971cdbfb27ee046ee01bb5a412ce9cd0f7a1c41f 3828 coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz
 8a2578354b6de854208a3962f0824a30fdf95ccd 7852 coq-hierarchy-builder_1.4.0-5build2_source.buildinfo
Checksums-Sha256:
 296c135a965a4d02965dd4f9cf2cd91b32fe67acf6e255bfc83a8a5340b2e400 2224 coq-hierarchy-builder_1.4.0-5build2.dsc
 ce56ee4a7b91dd0d520d2b127392ad747a8098f13bc915db76253d91668c362e 3828 coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz
 bc0d9ab7ce3b7c7be41512ba0e390a2fb7e27809e975636c923573275b943aa9 7852 coq-hierarchy-builder_1.4.0-5build2_source.buildinfo
Files:
 c8c81f05876214665d4089409f64cf30 2224 ocaml optional coq-hierarchy-builder_1.4.0-5build2.dsc
 4e4d668e9a11592255d242fa242de72e 3828 ocaml optional coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz
 f0ffa2af32fa07b10fefce124eab6e3c 7852 ocaml optional coq-hierarchy-builder_1.4.0-5build2_source.buildinfo