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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sun, 20 Aug 2023 09:34:15 +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-6build4
-------------- next part --------------
Format: 1.8
Date: Sun, 20 Aug 2023 09:34:15 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build4
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-6build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e14c12bd206ebd16019717d7b3db84a091f7f609 2224 coq-hierarchy-builder_1.4.0-6build4.dsc
 ae448996fd92e79079424f792a756e0d08852fa5 5732 coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz
 180bad7895f0e84dcdf2bb128941e92f64f57b0a 7846 coq-hierarchy-builder_1.4.0-6build4_source.buildinfo
Checksums-Sha256:
 937610002daaf85b1f49b1d9813cc3fac2dc5951cf589c40ea33ca136934d044 2224 coq-hierarchy-builder_1.4.0-6build4.dsc
 6f4e8d49c75643405e1a42bb6dedfebc38941b336fb70de4af1f2cfa2e13475f 5732 coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz
 0d9756a4de0a6580f8d2d10bcac531ce4a31aad7046dc846315d301287d27a83 7846 coq-hierarchy-builder_1.4.0-6build4_source.buildinfo
Files:
 956a8cf229289875e22d984aefad9d3f 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build4.dsc
 ab4aa31274e83884cee866317eed8d1c 5732 ocaml optional coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz
 045954aced1171beea5c91ddaab0491c 7846 ocaml optional coq-hierarchy-builder_1.4.0-6build4_source.buildinfo