[ubuntu/focal-proposed] cbmc 5.10-5ubuntu1 (Accepted)
Graham Inggs
ginggs at ubuntu.com
Tue Apr 14 09:02:49 UTC 2020
cbmc (5.10-5ubuntu1) focal; urgency=medium
[ Adrian Bunk ]
* Build fixes:
- Fix the build with libmaven-compiler-plugin-java 3.8.1.
- Backport upstream fix for building with new bison.
(Closes: #952256)
Date: Tue, 14 Apr 2020 07:35:50 +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.10-5ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 14 Apr 2020 07:35:50 +0000
Source: cbmc
Architecture: source
Version: 5.10-5ubuntu1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Closes: 952256
Changes:
cbmc (5.10-5ubuntu1) focal; urgency=medium
.
[ Adrian Bunk ]
* Build fixes:
- Fix the build with libmaven-compiler-plugin-java 3.8.1.
- Backport upstream fix for building with new bison.
(Closes: #952256)
Checksums-Sha1:
701e43f9c1f90a6c3536673c427c27bb4a9cece7 2267 cbmc_5.10-5ubuntu1.dsc
1a365fcc8d7f917ab5af5c392124cd5fad30af88 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
a3568352679f71f4c57f7901304c616d57801210 14446 cbmc_5.10-5ubuntu1_source.buildinfo
Checksums-Sha256:
65d5a4212a3e5b2274d195517469884e7b62a36fa7f0305bde1c45cafd72aa4e 2267 cbmc_5.10-5ubuntu1.dsc
dd6414fee735fe5975f34755bdd4fd4f807a41b03553858edce8990d1488181e 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
201134d0aec9ccd2d21de7adf96519eabac9d9e5f8dadb5ea2ca78341988f92f 14446 cbmc_5.10-5ubuntu1_source.buildinfo
Files:
3d4a0d40f41eb36ead5c3288003dbde7 2267 science optional cbmc_5.10-5ubuntu1.dsc
1f85c08fef8472d10ca7fcdd6ec9877e 13412 science optional cbmc_5.10-5ubuntu1.debian.tar.xz
1f06a3d0caf97468a5d7f644eba83144 14446 science optional cbmc_5.10-5ubuntu1_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>
More information about the Focal-changes
mailing list