[ubuntu/noble-proposed] cvc4 1.8-3build2 (Accepted)

[Steve Langasek]

cvc4 (1.8-3build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:58:28 +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/cvc4/1.8-3build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:58:28 +0000
Source: cvc4
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8-3build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 cvc4 (1.8-3build2) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 949e1c7b54f60df67effd7d666dd294d4af362f7 2363 cvc4_1.8-3build2.dsc
 78d051266db35b67e4151eac1aeb42832141dae5 16876 cvc4_1.8-3build2.debian.tar.xz
 d386a7a15d5ecb71f660de45ed98e57e3430eac1 7083 cvc4_1.8-3build2_source.buildinfo
Checksums-Sha256:
 5818380ecf946721d2c76a6706fb629c48046f04102f52f24c2b24c27f5d6855 2363 cvc4_1.8-3build2.dsc
 d580ee0dcf28c21dc71fb9f61afbe3f44211fc0f49e6c499905678bce03e963c 16876 cvc4_1.8-3build2.debian.tar.xz
 8596597209155548f93dc65613b08d328fa12ded4fc6a87eb26d7c990435196d 7083 cvc4_1.8-3build2_source.buildinfo
Files:
 3efa9f390e79486fad64e2cced977714 2363 math optional cvc4_1.8-3build2.dsc
 0019f230bad365543fa2d9d9ffdccfaf 16876 math optional cvc4_1.8-3build2.debian.tar.xz
 e353f75afa67ae75627e8be0dad7b16f 7083 math optional cvc4_1.8-3build2_source.buildinfo
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>