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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 08:06:19 +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-2build9
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 08:06:19 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-2build9
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-2build9) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 685fb2c0166229174b15a4d2e426a78adb16a59e 2150 coq-hierarchy-builder_1.7.0-2build9.dsc
 d63e1860b4e81e51c0182356d929e95bef801ff4 3088 coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz
 090ed3e2f42ec4a2165bc14560c02ae3193ea943 3891 coq-hierarchy-builder_1.7.0-2build9_source.buildinfo
Checksums-Sha256:
 44aaed3e955b5659ffa7890c56ca4ca7fa88737eba44c10add014fe37c4bd2b6 2150 coq-hierarchy-builder_1.7.0-2build9.dsc
 04ae705b0c607dbff02ddd1148912710a7d0b606fb0bbb672bf92b0eb8d6dc44 3088 coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz
 b15f274c196ba44982b53e3a92c6b13077f71e6f81bd4241c004a16654a738a9 3891 coq-hierarchy-builder_1.7.0-2build9_source.buildinfo
Files:
 8b863217e322760d23aceaab1934c278 2150 ocaml optional coq-hierarchy-builder_1.7.0-2build9.dsc
 fd51f558ac54ba01847efa56e56eed2f 3088 ocaml optional coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz
 f4c297eafaeda6d6f7511705df30e1bf 3891 ocaml optional coq-hierarchy-builder_1.7.0-2build9_source.buildinfo