[ubuntu/noble-proposed] coq-stdpp 1.9.0-1build2 (Accepted)

[Steve Langasek]

coq-stdpp (1.9.0-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:55:52 +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-stdpp/1.9.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:55:52 +0000
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-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-stdpp (1.9.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 e85f69d6c11b7192fde1eb7f8aaf20a047b2073c 2181 coq-stdpp_1.9.0-1build2.dsc
 82bb02dc81a179003c55a2dff5fc26258bf75214 2740 coq-stdpp_1.9.0-1build2.debian.tar.xz
 912983c7a25fb3ff848aceac8c33e2f7129e57a3 6576 coq-stdpp_1.9.0-1build2_source.buildinfo
Checksums-Sha256:
 4b60197197a6de27e18c7dbceea4520e7aa6d6b4bf6f235c8feffce091549a22 2181 coq-stdpp_1.9.0-1build2.dsc
 96459bd0c8032fce15f988d608873e80d29abbfba999b32283090eff8850d09b 2740 coq-stdpp_1.9.0-1build2.debian.tar.xz
 e72a2021c022225f9664a7a773cfc02124c39488c257f2219700bf28ce9bb1e0 6576 coq-stdpp_1.9.0-1build2_source.buildinfo
Files:
 f964bd020625b29a1933d7dd38c1e58c 2181 ocaml optional coq-stdpp_1.9.0-1build2.dsc
 b8a9be8dd7c580f06bac1933a6b91f05 2740 ocaml optional coq-stdpp_1.9.0-1build2.debian.tar.xz
 87d1d5f32fbb89468fa6d0e1aabbd3ce 6576 ocaml optional coq-stdpp_1.9.0-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>