[ubuntu/noble-proposed] coq-hierarchy-builder 1.4.0-6build9 (Accepted)

[Jeremy Bícha]

coq-hierarchy-builder (1.4.0-6build9) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:20:27 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.4.0-6build9
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:20:27 -0500
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4.0-6build9
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-hierarchy-builder (1.4.0-6build9) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 0c2938ba8d3190b1cc78dc5e4ff09253c2dd46a2 2224 coq-hierarchy-builder_1.4.0-6build9.dsc
 861a8d750d71a72f19d4599eef5a77fc381257e0 5836 coq-hierarchy-builder_1.4.0-6build9.debian.tar.xz
 cdbd77a4a602cbfa89199fe57b9958000be2fcb6 7328 coq-hierarchy-builder_1.4.0-6build9_source.buildinfo
Checksums-Sha256:
 a3395a877ab3988435a5daed7d5bab2ca0f13f53b52dc8a5063e65c9c9300b60 2224 coq-hierarchy-builder_1.4.0-6build9.dsc
 0035eb624e188699716a053580a75dcddfeef35f915355420f0f3eb5f48064a0 5836 coq-hierarchy-builder_1.4.0-6build9.debian.tar.xz
 e027b5ba1748ed837b5b07c0b320fb5b53da7d902e67d65689a413940a5c3da8 7328 coq-hierarchy-builder_1.4.0-6build9_source.buildinfo
Files:
 23b552b5afce3ff6eef29c425225cf55 2224 ocaml optional coq-hierarchy-builder_1.4.0-6build9.dsc
 258d066fd54d95edc0fea779aee42942 5836 ocaml optional coq-hierarchy-builder_1.4.0-6build9.debian.tar.xz
 4215b690b5733013221efa2c6de316fd 7328 ocaml optional coq-hierarchy-builder_1.4.0-6build9_source.buildinfo