[ubuntu/plucky-proposed] coq-hierarchy-builder 1.7.0-2build8 (Accepted)

[Matthias Klose]

coq-hierarchy-builder (1.7.0-2build8) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Tue, 19 Nov 2024 20:48:11 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.7.0-2build8
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Nov 2024 20:48:11 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build8
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-hierarchy-builder (1.7.0-2build8) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 a46fa7609e0a16ff5da8ef40489153ac31f42eff 2150 coq-hierarchy-builder_1.7.0-2build8.dsc
 cb3351d1852078a21c1d8f0b043500d142353dd7 3080 coq-hierarchy-builder_1.7.0-2build8.debian.tar.xz
 01e9c02f655d9339303bfd60b8b534a5040b8872 3891 coq-hierarchy-builder_1.7.0-2build8_source.buildinfo
Checksums-Sha256:
 820f534745748f6ffa951536d0441fca61542b10129b27862228d635df94b5c6 2150 coq-hierarchy-builder_1.7.0-2build8.dsc
 ac54f3d23e9ac98bc24c4ccf98348524d16a47098d3dc2f2807f850cb0e6ce55 3080 coq-hierarchy-builder_1.7.0-2build8.debian.tar.xz
 0a618f8b50b6a6d7813e3659a21a1574b3a7abd5ee33b52ce37395908d74d1f7 3891 coq-hierarchy-builder_1.7.0-2build8_source.buildinfo
Files:
 31911a15a7456c75001420ac9f26f41a 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build8.dsc
 b360e88d00623e95252c2837fb8752d8 3080 ocaml optional coq-hierarchy-builder_1.7.0-2build8.debian.tar.xz
 ea731e8489f44410f51b817f76e9bbcd 3891 ocaml optional coq-hierarchy-builder_1.7.0-2build8_source.buildinfo