[ubuntu/noble-proposed] coq-gappa 1.5.4-1build2 (Accepted)

[Steve Langasek]

coq-gappa (1.5.4-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:53:53 +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-gappa/1.5.4-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:53:53 +0000
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.4-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-gappa (1.5.4-1build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 02c60c3b111f6f43c8831b64b96d19dc2cd0b0cb 2188 coq-gappa_1.5.4-1build2.dsc
 e8ece2cbb7565ad70f7e6c0e31d6e9eb1f1dbc7f 2340 coq-gappa_1.5.4-1build2.debian.tar.xz
 49ea6f719ab02643e20859b6e2ba9a29b465e2cb 6576 coq-gappa_1.5.4-1build2_source.buildinfo
Checksums-Sha256:
 0596923eb74bfec74ef74b06f32d7a1f502c09c5933c79280f73bc6b205ab070 2188 coq-gappa_1.5.4-1build2.dsc
 4aedc9ca1be74e36232251eb2f877bbd52e851e9c15470e5dc590f3aa6778cdd 2340 coq-gappa_1.5.4-1build2.debian.tar.xz
 ac261cc52e040d5a6784d94eb3b4012de8f7fc9bd94b9d61ba98ac96cc84ce56 6576 coq-gappa_1.5.4-1build2_source.buildinfo
Files:
 31c3c24fa472f11366261477dd975ec0 2188 math optional coq-gappa_1.5.4-1build2.dsc
 b270b96ed720f384f5069f0fe4214710 2340 math optional coq-gappa_1.5.4-1build2.debian.tar.xz
 c49509e9736f3b88222570151463b10e 6576 math optional coq-gappa_1.5.4-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>