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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Tue, 27 May 2025 17:27:21 -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-1build4
-------------- next part --------------
Format: 1.8
Date: Tue, 27 May 2025 17:27:21 -0400
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build4
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-1build4) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 15dd5ed7337b8c2650bf1375da9086053b8f832c 2150 coq-hierarchy-builder_1.8.1-1build4.dsc
 a69a371505df88f9a7c3068b6d81cec37899a3b3 3020 coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz
 ba6503673df0d65e8338ada80fbe54830dcb6f5d 6969 coq-hierarchy-builder_1.8.1-1build4_source.buildinfo
Checksums-Sha256:
 af786526b17d16a03a4c0dbd640844402e475ca3f5cc0f898af705d3af20591e 2150 coq-hierarchy-builder_1.8.1-1build4.dsc
 129da8393f6f53b928aaaff261881120856ae4e9cc27dd8191bfbf35b61c783b 3020 coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz
 72fa036394725e9fbee03cbeafba6ad95d48ff874633af51bc2d0e9d1757cf4d 6969 coq-hierarchy-builder_1.8.1-1build4_source.buildinfo
Files:
 b7a459cdeb1ba22dc850c63c89a38eb2 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build4.dsc
 127b6823b17c09f3125a0e64f76e5f07 3020 ocaml optional coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz
 ffc0ac61f645fe35c465bfca9c19473d 6969 ocaml optional coq-hierarchy-builder_1.8.1-1build4_source.buildinfo