[ubuntu/mantic-proposed] coq-hierarchy-builder 1.4.0-6build3 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-6build3) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 28 Jul 2023 10:34:27 +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-6build3
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 10:34:27 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build3
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-6build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 639497a5f67760e963321edef2219ac60a231daf 2224 coq-hierarchy-builder_1.4.0-6build3.dsc
 cbf25636e01ee37eed112266a3cf74681192af6f 5716 coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz
 1c4b19a9daf0cc84005835980cee2a81cc2b7047 7852 coq-hierarchy-builder_1.4.0-6build3_source.buildinfo
Checksums-Sha256:
 6039f4c8534a781f0dfd1038af08ff85c2293c72f4f557099908420d9e030400 2224 coq-hierarchy-builder_1.4.0-6build3.dsc
 1304699cc4e33a62a397585e95584a4efb1c7fdf611287d0360429bc4353c74a 5716 coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz
 b5219ed723e3c863ce23a302682a6258965cbec0b80c8e07256106483ff298ae 7852 coq-hierarchy-builder_1.4.0-6build3_source.buildinfo
Files:
 ab8412f275b9210dbf9e0dc1b6847a14 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build3.dsc
 e9a44990ac0c46b32082fc0249131510 5716 ocaml optional coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz
 f4ffcd2004e8bda8afa09902d460b2a0 7852 ocaml optional coq-hierarchy-builder_1.4.0-6build3_source.buildinfo