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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 26 Jul 2023 12:31:34 +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-5build5
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 12:31:34 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-5build5
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-5build5) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9e303d626db55d6c2e7750902d9cb9a2371a13d1 2224 coq-hierarchy-builder_1.4.0-5build5.dsc
 387e504fcb717414b88ffddb82bcb408578d8442 3868 coq-hierarchy-builder_1.4.0-5build5.debian.tar.xz
 0d87e280143d2d942028d3496f379707d691e8c6 7852 coq-hierarchy-builder_1.4.0-5build5_source.buildinfo
Checksums-Sha256:
 58e42d3b6d9808d4331853d275d04334b48dd1439bf372b8f70b4f74e81801c9 2224 coq-hierarchy-builder_1.4.0-5build5.dsc
 7347102c22b0d2ac7b7ee1d3213a6c9476d27cf8aa114a6fda6a07cb2bdb65c7 3868 coq-hierarchy-builder_1.4.0-5build5.debian.tar.xz
 f5d289c2c0ecca8434ed7d14ec651979aa6adbd03d15eb562360dcd5e6d9c5a4 7852 coq-hierarchy-builder_1.4.0-5build5_source.buildinfo
Files:
 5e769b519c7b88a3ff4fcfbdc49ecf70 2224 ocaml optional coq-hierarchy-builder_1.4.0-5build5.dsc
 e81b6eda641792c0dc4f29db4c727bb6 3868 ocaml optional coq-hierarchy-builder_1.4.0-5build5.debian.tar.xz
 2743fbfe9eee4ef2584bf5b6632a1ff7 7852 ocaml optional coq-hierarchy-builder_1.4.0-5build5_source.buildinfo