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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 27 Jul 2023 11:45:04 +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-6build1
-------------- next part --------------
Format: 1.8
Date: Thu, 27 Jul 2023 11:45:04 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build1
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-6build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 73fb3a206500b65a84978f53196dcd21bd417a4c 2224 coq-hierarchy-builder_1.4.0-6build1.dsc
 17e346bc7d269faa97d4975f5d07251a2bba58ed 5684 coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz
 737ed14308efe373144cf55945f53b87c0372677 7852 coq-hierarchy-builder_1.4.0-6build1_source.buildinfo
Checksums-Sha256:
 7a1d51ae9c58df8bb9c68027c3a7d0abb9e0b5fd98678aea95a87ea1a5fd465a 2224 coq-hierarchy-builder_1.4.0-6build1.dsc
 67e97b807e15da1bd6de99921659a87f11768a4b9798cda6ec4c18bae4ce0490 5684 coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz
 1e4badeabe002d652ed2a3c89206d4433d2543b83a443ce9207db5dece9d6710 7852 coq-hierarchy-builder_1.4.0-6build1_source.buildinfo
Files:
 a7ae92edfa138c57d2ece0826f5609d6 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build1.dsc
 5d12b97470427f16ac189709d65c48e4 5684 ocaml optional coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz
 a311be9b5b28d0f07b3294dbe7eb335e 7852 ocaml optional coq-hierarchy-builder_1.4.0-6build1_source.buildinfo