[ubuntu/noble-proposed] cbmc 5.95.1-4ubuntu1 (Accepted)

[Graham Inggs]

cbmc (5.95.1-4ubuntu1) noble; urgency=medium

  * Disable LTO everywhere (LP: #2036745)
    (cbmc is already in lto-disabled-list for amd64 and ppc64el,
    but not touching that package during final freeze)

Date: Tue, 23 Apr 2024 16:36:24 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cbmc/5.95.1-4ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 23 Apr 2024 16:36:24 +0000
Source: cbmc
Built-For-Profiles: noudeb
Architecture: source
Version: 5.95.1-4ubuntu1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2036745
Changes:
 cbmc (5.95.1-4ubuntu1) noble; urgency=medium
 .
   * Disable LTO everywhere (LP: #2036745)
     (cbmc is already in lto-disabled-list for amd64 and ppc64el,
     but not touching that package during final freeze)
Checksums-Sha1:
 391c56dd4d21d105a9c142f614e50e4b0323a0c1 3147 cbmc_5.95.1-4ubuntu1.dsc
 a43da55313bd0067fd459e7c8be58222db6547c4 15484 cbmc_5.95.1-4ubuntu1.debian.tar.xz
 b5afa3d0528e63ce3007b56607e1dec981bc3726 9850 cbmc_5.95.1-4ubuntu1_source.buildinfo
Checksums-Sha256:
 d97f6c7c3fd1150b607471230b47cc683a356207284536943f8b1f1f1a03c1b6 3147 cbmc_5.95.1-4ubuntu1.dsc
 d42e7d30ee042b879e81f12a841cab08e66de9e65242479349cb5a633855db61 15484 cbmc_5.95.1-4ubuntu1.debian.tar.xz
 a7e5fbe30c88de98ad9bd9ccd9dbf675964e49f97b0646e16ddbac7a915daae2 9850 cbmc_5.95.1-4ubuntu1_source.buildinfo
Files:
 3909520534b1169d5194ed903e24ba59 3147 science optional cbmc_5.95.1-4ubuntu1.dsc
 82e486c2e85f79f7f579e4821bd28fcc 15484 science optional cbmc_5.95.1-4ubuntu1.debian.tar.xz
 11b3c81072fb0e559a9f511dbe53cf3f 9850 science optional cbmc_5.95.1-4ubuntu1_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>