[ubuntu/lunar-proposed] coq-hierarchy-builder 1.4.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.4.0-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 21:29:32 +0100
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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 21:29:32 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-2build1
Distribution: lunar
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 413d8b830db218e72644b4a5da277d615fa111a1 2224 coq-hierarchy-builder_1.4.0-2build1.dsc
 5df6cf97e1af045b4542a2217a47acc6d7dcea6a 3200 coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz
 3a6c0c394e55ee078db8f3c3dbb413fb41dfe676 7953 coq-hierarchy-builder_1.4.0-2build1_source.buildinfo
Checksums-Sha256:
 4437641f06e06eb0b1fa292ea4f70eb4b59b5613007a5bfe7ad6069b5023a925 2224 coq-hierarchy-builder_1.4.0-2build1.dsc
 634d11cbf40018406c19960cd0e40e6f181d023f1e2ce031fd84d240159a6bf1 3200 coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz
 e62e2ed2d3c6fe227456509a121326141ffa24f8abdff278001a8949fb4c9cf4 7953 coq-hierarchy-builder_1.4.0-2build1_source.buildinfo
Files:
 0d31cb2a7d822db7126219e655640ce4 2224 ocaml optional coq-hierarchy-builder_1.4.0-2build1.dsc
 4d4921e9864e00c514cd34a94480c1af 3200 ocaml optional coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz
 fd64ce8c062e48f77e6c387ce6c14c75 7953 ocaml optional coq-hierarchy-builder_1.4.0-2build1_source.buildinfo