[ubuntu/noble-proposed] coq-hierarchy-builder 1.6.0-1build1 (Accepted)

[Jeremy Bícha]

coq-hierarchy-builder (1.6.0-1build1) noble; urgency=medium

  * Rebuild against latest coq-elpi

Date: Sat, 27 Jan 2024 14:28:47 -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.6.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 14:28:47 -0500
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build1
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.6.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq-elpi
Checksums-Sha1:
 d9a3a62607aa2cc9bc989e7e8edfbe3da8071d24 2224 coq-hierarchy-builder_1.6.0-1build1.dsc
 19647bd607fb6fd8498aad53e205d7c6bc986a60 3504 coq-hierarchy-builder_1.6.0-1build1.debian.tar.xz
 aee385e4f54b0c551afc4a16920025c7d7b919c3 7695 coq-hierarchy-builder_1.6.0-1build1_source.buildinfo
Checksums-Sha256:
 590ae970e67429b7b12ef8152ec65e57bf13118f27094bfed76a12d178b88219 2224 coq-hierarchy-builder_1.6.0-1build1.dsc
 e66b8c6f1de9d0ebd004fb6becbe5705a4295440c5ed5e91a6f546e4bab8933e 3504 coq-hierarchy-builder_1.6.0-1build1.debian.tar.xz
 e7c44de9dddf0ed7a18be872451fcbc6e46a1fff0c54ff9836c316635b3e2f12 7695 coq-hierarchy-builder_1.6.0-1build1_source.buildinfo
Files:
 c72fd7f6a93658e84f3ad3bb71d3c036 2224 ocaml optional coq-hierarchy-builder_1.6.0-1build1.dsc
 428d0ea48b59a41ba4a334f93c4161fd 3504 ocaml optional coq-hierarchy-builder_1.6.0-1build1.debian.tar.xz
 3c8f5ee1394133093e4cd2dea79477f9 7695 ocaml optional coq-hierarchy-builder_1.6.0-1build1_source.buildinfo