[ubuntu/questing-proposed] coq-hierarchy-builder 1.8.1-1build3 (Accepted)

[Jeremy Bícha]

coq-hierarchy-builder (1.8.1-1build3) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Wed, 07 May 2025 12:56:19 -0400
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.8.1-1build3
-------------- next part --------------
Format: 1.8
Date: Wed, 07 May 2025 12:56:19 -0400
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build3
Distribution: questing
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.8.1-1build3) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 e538415f6493d755e5267698affdf81f070d5722 2150 coq-hierarchy-builder_1.8.1-1build3.dsc
 9d2c1e826326752ee75956e9bb6894a108b6c4cf 3012 coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz
 d05f52436b389e165c818bb382cf393a88280994 6961 coq-hierarchy-builder_1.8.1-1build3_source.buildinfo
Checksums-Sha256:
 3c2a35fa5819c3becf984b18168e822df01e085cad0f8ac11b1f0ec5fa9e37e1 2150 coq-hierarchy-builder_1.8.1-1build3.dsc
 18ab2a3a507ae21cdc22d0b1d561169946af5f3e20eaa23b7a0e7966a31eb0e7 3012 coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz
 2c66665c7e9d44949dbe6072269706f95b1b99d8e7d6d823e53484b7e2834550 6961 coq-hierarchy-builder_1.8.1-1build3_source.buildinfo
Files:
 fc3aa57ecf9b57bb72ca3f3a0312e165 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build3.dsc
 e4fcfe49823edf499c4a85af5e08abee 3012 ocaml optional coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz
 1207c1653db60a3d9fb53e72867a722f 6961 ocaml optional coq-hierarchy-builder_1.8.1-1build3_source.buildinfo