[ubuntu/noble-proposed] coq-hierarchy-builder 1.6.0-1build3 (Accepted)

[Steve Langasek]

coq-hierarchy-builder (1.6.0-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-elqi ABI

Date: Sun, 24 Mar 2024 15:59:05 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.6.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 15:59:05 +0000
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-hierarchy-builder (1.6.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-elqi ABI
Checksums-Sha1:
 eeea0fb46900313033065873c4dc27448a40d691 2340 coq-hierarchy-builder_1.6.0-1build3.dsc
 d83a1e8fd2b4620168198e7d859eea6290cbb6f2 3632 coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
 0855ea9c17f61b6ef77735c790c163c901936f21 6893 coq-hierarchy-builder_1.6.0-1build3_source.buildinfo
Checksums-Sha256:
 9ce4d7a9793a4f155765ee549e10c6aa267cb4cdcbfd4d09f5c2f747981ddf6e 2340 coq-hierarchy-builder_1.6.0-1build3.dsc
 641c4d9a224868860ff265458044eee527ab98661a0b7fb98741a7ab98c03034 3632 coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
 d10d0af2c88146a2a9e0504125407a310d221acb02f9abb60cf9677fcb6448c6 6893 coq-hierarchy-builder_1.6.0-1build3_source.buildinfo
Files:
 ec48ffee43bbe295cb3171d13b16b1e1 2340 ocaml optional coq-hierarchy-builder_1.6.0-1build3.dsc
 14b1aa92df45acc6edac9e3a588ace09 3632 ocaml optional coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
 5a47130c06ce37c63d621b63d7809948 6893 ocaml optional coq-hierarchy-builder_1.6.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>