[ubuntu/plucky-proposed] coq-hierarchy-builder 1.8.0-1build1 (Accepted)

[Jeremy Bícha]

coq-hierarchy-builder (1.8.0-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 19 Dec 2024 19:53:32 -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.8.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Dec 2024 19:53:32 -0500
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1build1
Distribution: plucky
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.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 e6744e5b1d3815152848cfbc6495601254904136 2150 coq-hierarchy-builder_1.8.0-1build1.dsc
 43446b3ebd162cbbc981723ca2f8755ecda121b9 2928 coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz
 076fe12774fc276010d6f2cd4fbd8e6e356eaf1f 7162 coq-hierarchy-builder_1.8.0-1build1_source.buildinfo
Checksums-Sha256:
 fae3c6b40a62667957ffdb039ef27f9b6335a46bf837cd167cee516529359ab0 2150 coq-hierarchy-builder_1.8.0-1build1.dsc
 042ea04eea6fa076100c5d3829d1b2ada25ed29056964a093e9d28ad4c6db76b 2928 coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz
 a6a7b823e89f6208fe3b652023d2ef52739760246dd2db3665653f4f72826151 7162 coq-hierarchy-builder_1.8.0-1build1_source.buildinfo
Files:
 501bc27cde56725b8b7cb336ba8723ac 2150 ocaml optional coq-hierarchy-builder_1.8.0-1build1.dsc
 d69d9b56d31969c6f12e353ccfb7ba35 2928 ocaml optional coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz
 e6094da467a153ad37aa6826207b9b8a 7162 ocaml optional coq-hierarchy-builder_1.8.0-1build1_source.buildinfo