[ubuntu/noble-proposed] coq-unicoq 1.6-8.18-1build2 (Accepted)

[Steve Langasek]

coq-unicoq (1.6-8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:56:06 +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-unicoq/1.6-8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:56:06 +0000
Source: coq-unicoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6-8.18-1build2
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-unicoq (1.6-8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 22f695c3e33d3250aaa9b11bdc8f7d1bd716a13d 2209 coq-unicoq_1.6-8.18-1build2.dsc
 6201e63b1754d69de7c99d551f484c91078f8022 2736 coq-unicoq_1.6-8.18-1build2.debian.tar.xz
 d8f78d2519d56f3fe8736df3c712bad37803fb6a 6592 coq-unicoq_1.6-8.18-1build2_source.buildinfo
Checksums-Sha256:
 e84894d75e0fc3753634a8921f37d59201f741a4de5aa88ffd3856b2e10afe9f 2209 coq-unicoq_1.6-8.18-1build2.dsc
 32472c734dcbbdfaba1e3eb0ad17edca7eb8f905caa91e8e3c1887ad49c0a286 2736 coq-unicoq_1.6-8.18-1build2.debian.tar.xz
 75a9310a071c854a67ac413f9660e7bf2571796a403ec8a5ba6b5b20567d709c 6592 coq-unicoq_1.6-8.18-1build2_source.buildinfo
Files:
 ce0015d364766867159b2c40005eb65d 2209 ocaml optional coq-unicoq_1.6-8.18-1build2.dsc
 f4c4b2eaba444cb9537ebeb6573c2985 2736 ocaml optional coq-unicoq_1.6-8.18-1build2.debian.tar.xz
 04b91ca75d536e8bc71e91498312989d 6592 ocaml optional coq-unicoq_1.6-8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>