[ubuntu/noble-proposed] coq-bignums 9.0.0+coq8.18-1build2 (Accepted)

[Steve Langasek]

coq-bignums (9.0.0+coq8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:52:50 +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-bignums/9.0.0+coq8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:52:50 +0000
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.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-bignums (9.0.0+coq8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 a1f144863ac0739ef4c5023665fbe7bcebf7b049 2261 coq-bignums_9.0.0+coq8.18-1build2.dsc
 f979d72387629642505b4eb0ae145f289dc6a8a7 2188 coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz
 61587db58f70d6d86f7a9c8b7b7cb773059f3de9 6616 coq-bignums_9.0.0+coq8.18-1build2_source.buildinfo
Checksums-Sha256:
 d1f28502a858407dc298a20b89818fdda6ba8a9e202485018560022f5706d91d 2261 coq-bignums_9.0.0+coq8.18-1build2.dsc
 1bf39af92851eb4f0c61a585f18cb8aa28678cdc718a257b7e2c878c85b48670 2188 coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz
 1cddcd8cb1e577693e428e36fa6ba649aef90b3f2c1d4221f93b58c5484933ec 6616 coq-bignums_9.0.0+coq8.18-1build2_source.buildinfo
Files:
 b23ac7f8f897869814fa32561ab0617c 2261 ocaml optional coq-bignums_9.0.0+coq8.18-1build2.dsc
 cadce79021582f2d6186dc4689bbac50 2188 ocaml optional coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz
 ac188fea3e6025e7ae76e5f244a17344 6616 ocaml optional coq-bignums_9.0.0+coq8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>