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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 11:02:42 +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-2build4
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 11:02:42 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-2build4
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-2build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 198d0d63145aaeaf71e7465330e373980520d8df 2224 coq-hierarchy-builder_1.4.0-2build4.dsc
 e1a81943f23f761226782786e40c00cd8d53311f 3284 coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz
 60898f5a28225145dfdb9f491fe9f72eb3e66f4e 7273 coq-hierarchy-builder_1.4.0-2build4_source.buildinfo
Checksums-Sha256:
 1c9ea9954cbe9ecdbadad9e8f700f8498cb24c5161a3f4c1621d2a1d13554465 2224 coq-hierarchy-builder_1.4.0-2build4.dsc
 910a1e4bff026a0b1b4a54eb9fd4f49435f32f46c7b63512b5c1a360c694cda7 3284 coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz
 19de3cc2c1bab109affd9e894c3a946492071354cfdda58ea5f7d15b7b82e188 7273 coq-hierarchy-builder_1.4.0-2build4_source.buildinfo
Files:
 18de16d8c87536e8931bc5f7b524c7a8 2224 ocaml optional coq-hierarchy-builder_1.4.0-2build4.dsc
 923cfab805c47ea5df3696c0866ca04f 3284 ocaml optional coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz
 14070fb7a765ae1c6f8aa6dd82f17c87 7273 ocaml optional coq-hierarchy-builder_1.4.0-2build4_source.buildinfo