[ubuntu/noble-proposed] coq 8.18.0+dfsg-1build2 (Accepted)

[Steve Langasek]

coq (8.18.0+dfsg-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:52:42 +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/8.18.0+dfsg-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:52:42 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.0+dfsg-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 (8.18.0+dfsg-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 bc6a3dfa1c21aa7a6782bfcf443586b024ab0635 2685 coq_8.18.0+dfsg-1build2.dsc
 5101a241a15e083f63a69783f8bb34a8d82dc371 33336 coq_8.18.0+dfsg-1build2.debian.tar.xz
 b5ac67109e78ff51e303ad195198352d4163f272 7230 coq_8.18.0+dfsg-1build2_source.buildinfo
Checksums-Sha256:
 96495a634deddb4abc09868fc01fee9accec867821926dbdbc20c91d41a8680a 2685 coq_8.18.0+dfsg-1build2.dsc
 ae172c31df40d652a3af97d1963831d7cd519e351cc3c440b8a011b0f84d3448 33336 coq_8.18.0+dfsg-1build2.debian.tar.xz
 813d7d88f87a9fc49a080f1e332b7ddf1916b4c7c9c33d8fa3cb7596371b1553 7230 coq_8.18.0+dfsg-1build2_source.buildinfo
Files:
 f44d27e3f2e4500a4b0c891693de3b25 2685 math optional coq_8.18.0+dfsg-1build2.dsc
 5fae216f2cdf9db638d11d79677ce1df 33336 math optional coq_8.18.0+dfsg-1build2.debian.tar.xz
 54c7914cd8eedf60f47319946b276626 7230 math optional coq_8.18.0+dfsg-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>