[ubuntu/noble-proposed] cvc5 1.1.2-1build1 (Accepted)

[Steve Langasek]

cvc5 (1.1.2-1build1) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:58:39 +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/cvc5/1.1.2-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:58:39 +0000
Source: cvc5
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.2-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 cvc5 (1.1.2-1build1) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 e4e65c87b46b73b50e97d169c36375f72435b89f 2589 cvc5_1.1.2-1build1.dsc
 ed713eafc93536f4a445d3302650298816605a51 6576 cvc5_1.1.2-1build1.debian.tar.xz
 638a69c492e5528c732fd860cb97b146beeeb2ab 7242 cvc5_1.1.2-1build1_source.buildinfo
Checksums-Sha256:
 772076443637fc219e5292a3431faa934859ce2b17d1e82697ccf894b35d853b 2589 cvc5_1.1.2-1build1.dsc
 cce05bc60806c1602dbb7d84cddab07e9119a919ddbcaec0f0ff1790401e893c 6576 cvc5_1.1.2-1build1.debian.tar.xz
 f38abd49f8a4cf7039777ca1cd5827307c9595f40b0df0214b9f97a7d0d360ea 7242 cvc5_1.1.2-1build1_source.buildinfo
Files:
 07405e2af85e698e48288f7bb4affe6e 2589 math optional cvc5_1.1.2-1build1.dsc
 a92ec4abdb08d5aa8819782e4d76cf9d 6576 math optional cvc5_1.1.2-1build1.debian.tar.xz
 07534f1108471051630d8c8d7807573f 7242 math optional cvc5_1.1.2-1build1_source.buildinfo
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>