[ubuntu/noble-proposed] coq-ext-lib 0.12.0-1build3 (Accepted)

[Steve Langasek]

coq-ext-lib (0.12.0-1build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:53:40 +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-ext-lib/0.12.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:53:40 +0000
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.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-ext-lib (0.12.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 dbe15a66c703f941f0eba3efbbd17aa6331a2b8a 2204 coq-ext-lib_0.12.0-1build3.dsc
 f834aa1444670aef1e1654482291ece7fe06c90b 2448 coq-ext-lib_0.12.0-1build3.debian.tar.xz
 bfc72f3d6a2b17798b512f3549cb61cfa6df0a28 6588 coq-ext-lib_0.12.0-1build3_source.buildinfo
Checksums-Sha256:
 8450e03c50a0f0d8aaf4f20b2aa81fa9b1a57363b15d17710e69343eb7d4d656 2204 coq-ext-lib_0.12.0-1build3.dsc
 a390439375ae882007c4efb7ece8e2761922241ee649e226cfb60cf85f04a94d 2448 coq-ext-lib_0.12.0-1build3.debian.tar.xz
 4056a7546b591fc2f0b68b2c2f5c98ad38e54b307252bb4a50c047052aec4ead 6588 coq-ext-lib_0.12.0-1build3_source.buildinfo
Files:
 3fc28dcc80ee24251a0da99bb06ebd08 2204 ocaml optional coq-ext-lib_0.12.0-1build3.dsc
 567617bad7d9e61c8ef691b9a74c5f29 2448 ocaml optional coq-ext-lib_0.12.0-1build3.debian.tar.xz
 581ef5a036f5082384a738edd61e4af8 6588 ocaml optional coq-ext-lib_0.12.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>