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

[Steve Langasek]

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

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:07 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:07 +0000
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build4
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-1build4) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 09bff8ab214949e97ba2c3edbbe4c76bd482be3c 2340 coq-hierarchy-builder_1.6.0-1build4.dsc
 9bbb8aedac21b62e75085d8251ce05a55263828a 3668 coq-hierarchy-builder_1.6.0-1build4.debian.tar.xz
 0ea4f359b52d79283d3e7d608104230a4234470f 6644 coq-hierarchy-builder_1.6.0-1build4_source.buildinfo
Checksums-Sha256:
 d8cb5eeb6ea6c9c3cb28fb71b5ed5e0804b161d9b9ef863402badf11bda5bb2f 2340 coq-hierarchy-builder_1.6.0-1build4.dsc
 7e45115a151cbe67f450ac91829779fe4da082f405382d274b42df3f49ca0f41 3668 coq-hierarchy-builder_1.6.0-1build4.debian.tar.xz
 867f4a204d530b7d552d292a13007f112f45001c7266d1fdddd57830e74c280d 6644 coq-hierarchy-builder_1.6.0-1build4_source.buildinfo
Files:
 53e53419eb1d46bb51b67857c72f6b5b 2340 ocaml optional coq-hierarchy-builder_1.6.0-1build4.dsc
 1f06d860c68b32195f3b4ddd69c93ebf 3668 ocaml optional coq-hierarchy-builder_1.6.0-1build4.debian.tar.xz
 9b8848916370789fbe773252e47d99ea 6644 ocaml optional coq-hierarchy-builder_1.6.0-1build4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>