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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:22 -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.1-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:22 -0500
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-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.1-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 e4119bed9bce125aaeb0e53685821052de53c9de 2150 coq-hierarchy-builder_1.8.1-1build1.dsc
 97fa3a55dc34e86a27d9874589645941b72d2793 2932 coq-hierarchy-builder_1.8.1-1build1.debian.tar.xz
 a933f67bd0316fa0568cfa6f6c42ee8323d3ec32 7094 coq-hierarchy-builder_1.8.1-1build1_source.buildinfo
Checksums-Sha256:
 c423f122a5c0960b0b774a9567da2aeb7cbcf8615f20f3a5e51b253ba465383c 2150 coq-hierarchy-builder_1.8.1-1build1.dsc
 4a25544d13a62cf5e182eb04d7d707999311e7b5ab96320918672a168c4b4612 2932 coq-hierarchy-builder_1.8.1-1build1.debian.tar.xz
 1f17a0f9516bfdf8c0cdc432ceca8e12340b7bdb029646b54a55907f97f5f3b2 7094 coq-hierarchy-builder_1.8.1-1build1_source.buildinfo
Files:
 378b8a90e27de25c9da22347d24a1595 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build1.dsc
 b28a74f451f58c242bd55060aced589e 2932 ocaml optional coq-hierarchy-builder_1.8.1-1build1.debian.tar.xz
 a089838ef9ae902df982594439415b01 7094 ocaml optional coq-hierarchy-builder_1.8.1-1build1_source.buildinfo