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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 23:57:04 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 23:57:04 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-2build3
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-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6f149303aa38aa274ec3cecb62ab619e4927dd39 2224 coq-hierarchy-builder_1.4.0-2build3.dsc
 51bddd450365bfd2280c8f5f300ec145e3d9d7ee 3228 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz
 27946d79d4ab5800e84a5cd72c19c69c989e16cc 7218 coq-hierarchy-builder_1.4.0-2build3_source.buildinfo
Checksums-Sha256:
 360c534efd11c4b6bd094b8a8b2a8f727433d7a945cef59881fbc85b4fc958e0 2224 coq-hierarchy-builder_1.4.0-2build3.dsc
 7efff20229b3ed5c461d40ad3a516002e81ef2893365408eb7305def8602c77c 3228 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz
 02f51d221ffca28a2f2a2dca2298c179e41b8f67dec7c17e1f2a57af26c8ed92 7218 coq-hierarchy-builder_1.4.0-2build3_source.buildinfo
Files:
 c370ad3905a9a88b1776dd6ea90a6a1e 2224 ocaml optional coq-hierarchy-builder_1.4.0-2build3.dsc
 ae9d5e9c6815e10ba12287850526de5a 3228 ocaml optional coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz
 d48ae9309df35d3fccf257759ae3774a 7218 ocaml optional coq-hierarchy-builder_1.4.0-2build3_source.buildinfo