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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:14:21 +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-5build4
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:14:21 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-5build4
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-5build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 9b50980cf10bc9ac86154be7828a411eeb552055 2224 coq-hierarchy-builder_1.4.0-5build4.dsc
 de0bc42fe6bc7d0a48ec67fc9d0e4f10fa5f9bc6 3852 coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz
 7bfa92b500c0152e5a63f929177ac8402e50cebe 7852 coq-hierarchy-builder_1.4.0-5build4_source.buildinfo
Checksums-Sha256:
 eae519a4848a9269d2bb247bea7820339afd188e52d755480e1a17845f57a537 2224 coq-hierarchy-builder_1.4.0-5build4.dsc
 13a6e22dd0b9f3ba3034fb03e3d405b8d9290650b34a378b7f7b57e512945cfe 3852 coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz
 42ea4d6522e1ad9b402677a7ff419f6ff8608fd7150eeaabb0b50f7b04f821d9 7852 coq-hierarchy-builder_1.4.0-5build4_source.buildinfo
Files:
 7e40f89f76e59b7ac3e5534432282e54 2224 ocaml optional coq-hierarchy-builder_1.4.0-5build4.dsc
 f5fe7cb609bbdc929183c4bdaa247037 3852 ocaml optional coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz
 0284fe16dac72bf931dea85eb76c153e 7852 ocaml optional coq-hierarchy-builder_1.4.0-5build4_source.buildinfo