[ubuntu/noble-proposed] coq-reduction-effects 0.1.5-1build2 (Accepted)

[Steve Langasek]

coq-reduction-effects (0.1.5-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:55:23 +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-reduction-effects/0.1.5-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:55:23 +0000
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-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-reduction-effects (0.1.5-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 7d20738b3aad7204fed82fd6ae41f9c515a2bde2 2329 coq-reduction-effects_0.1.5-1build2.dsc
 1c651d8aaf2e4834d9b9edb0d65961fe7a9c9eb9 1860 coq-reduction-effects_0.1.5-1build2.debian.tar.xz
 1290cb6d33c138cd7d606dcfc1d5876425e47f87 6624 coq-reduction-effects_0.1.5-1build2_source.buildinfo
Checksums-Sha256:
 4a9b2ef32f235a8e11f49e15dc711befc3526ce427fbeb75b3ce748c0aa2b50e 2329 coq-reduction-effects_0.1.5-1build2.dsc
 4a6d3f0be80ebc12612593ba5eeaf4ba567b2ca1d06cca47f6d9be4be2558254 1860 coq-reduction-effects_0.1.5-1build2.debian.tar.xz
 006896e4d6f8b64203fc22e2d489add78c32f5a7069dc64723aad9fced2815d0 6624 coq-reduction-effects_0.1.5-1build2_source.buildinfo
Files:
 e22ac195a71352c1a2b084d51c9fd78f 2329 ocaml optional coq-reduction-effects_0.1.5-1build2.dsc
 aec4f33dd9d3fac53bbe5fe6f97ff3b9 1860 ocaml optional coq-reduction-effects_0.1.5-1build2.debian.tar.xz
 dc5b3b233de9e2d1a81d954fdbd5e455 6624 ocaml optional coq-reduction-effects_0.1.5-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>