[ubuntu/noble-proposed] coqprime 8.18-1build2 (Accepted)

[Steve Langasek]

coqprime (8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:55:03 +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/coqprime/8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:55:03 +0000
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.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:
 coqprime (8.18-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 ee166e461e0165ea9bd96e299a28b1c2dcbc25b9 2264 coqprime_8.18-1build2.dsc
 409ce3d65b5da4a86e710ea68e0fdd2ba50a83b8 3436 coqprime_8.18-1build2.debian.tar.xz
 d121be3414b77de3f92828e4e5b5a89477c3215e 6568 coqprime_8.18-1build2_source.buildinfo
Checksums-Sha256:
 500fa582dda1fe78c4f6ae24c784a870d4b304cb0092d771832b151fd8b6f1ea 2264 coqprime_8.18-1build2.dsc
 5c4e726c9239843af5fcc71a79837646647f1a5a7ba6abc7de34491374bd3786 3436 coqprime_8.18-1build2.debian.tar.xz
 4715e37724ffc8b7522b157ad23f5d7d42e9b67898a6d0bd2515025f83bd0b8f 6568 coqprime_8.18-1build2_source.buildinfo
Files:
 bb95e0e048e8a0dd7ae96fce79f52654 2264 ocaml optional coqprime_8.18-1build2.dsc
 586f2a44bb1f08cf9cb6515f9dfb43f7 3436 ocaml optional coqprime_8.18-1build2.debian.tar.xz
 dbaf99e9927877e1fd859937ac8aa30f 6568 ocaml optional coqprime_8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>