[ubuntu/noble-proposed] coq-elpi 1.19.3-2build3 (Accepted)

[Steve Langasek]

coq-elpi (1.19.3-2build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:53:25 +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-elpi/1.19.3-2build3
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:53:25 +0000
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 1.19.3-2build3
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-elpi (1.19.3-2build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 8961202e40047fddd4d8cbed1042e47a42ff38d2 2145 coq-elpi_1.19.3-2build3.dsc
 e98b68bfecfa873669b200304bc6d1092dcf23c6 3840 coq-elpi_1.19.3-2build3.debian.tar.xz
 5ed28d7e915639469be331a204b18daffb3ae4f0 6576 coq-elpi_1.19.3-2build3_source.buildinfo
Checksums-Sha256:
 ee2e0f35987c368d584d0424a4c38c61a5e25dcaf12e4c52e98fab0c0808ee0d 2145 coq-elpi_1.19.3-2build3.dsc
 dd1d368857dd2b3b2ccb33d1371d72ced1a7eb156a03d8e44808e41533d8a8b3 3840 coq-elpi_1.19.3-2build3.debian.tar.xz
 c2f423db590574b1dc4737e85c242020d3a16292bc09b00244dcf122dc4a4745 6576 coq-elpi_1.19.3-2build3_source.buildinfo
Files:
 dffdf9a9277d53e1058e77fdd0b4f8fe 2145 ocaml optional coq-elpi_1.19.3-2build3.dsc
 a32d0dbd43f45c68f707abcb50163162 3840 ocaml optional coq-elpi_1.19.3-2build3.debian.tar.xz
 fe2a0e1f018b1c39d380257d37ec81a9 6576 ocaml optional coq-elpi_1.19.3-2build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>