[ubuntu/trusty-proposed] cbmc 4.5-2ubuntu1 (Accepted)
Adam Conrad
adconrad at ubuntu.com
Mon Oct 28 17:23:19 UTC 2013
cbmc (4.5-2ubuntu1) trusty; urgency=low
* Merge from Debian unstable; remaining changes:
- build with -Wno-error=unused-result to avoid FTBFS from -Werror
cbmc (4.5-2) unstable; urgency=low
* Fixed typo in powerpc sub-arch configuration causing FTBFS
cbmc (4.5-1) unstable; urgency=low
* New upstream release
* All 4.4 patches merged
cbmc (4.4-2) unstable; urgency=low
* armhf requires __ARM_PCS_VFP to be defined
cbmc (4.4-1) unstable; urgency=low
* New upstream release (Closes: #701253, #713605)
cbmc (4.3-6) unstable; urgency=low
* Also added -5 patch to series file to actually fix the problems
* Update gcc_types_compatible_p1 to SVN HEAD
* Cherry-pick upstream r2114-2118, r2120, r2167
cbmc (4.3-5) unstable; urgency=low
* Cherry-pick upstream r2113 to fix failing regression tests on arm* and
mips*
* Cherry-pick upstream r2144 and r2148 to fix failing regression tests on
powerpc, s390*, and sparc
cbmc (4.3-4) unstable; urgency=low
* Cherry-pick upstream r2142 and r2143 to fix failing regression tests on
arm*, mips*, powerpc, s390*, and sparc
cbmc (4.3-3) unstable; urgency=low
* Cherry-pick upstream r2134 and r2139 to fix failing regression tests on
arm*, ia64, mips*, powerpc, s390*, and sparc
cbmc (4.3-2) unstable; urgency=low
* Cherry-pick upstream r2111 to fix build failure on ia64 and s390x
cbmc (4.3-1) unstable; urgency=low
* New upstream release (all code patches merged, only build system
adaptions)
Date: Mon, 28 Oct 2013 10:47:38 -0600
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/trusty/+source/cbmc/4.5-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 28 Oct 2013 10:47:38 -0600
Source: cbmc
Binary: cbmc
Architecture: source
Version: 4.5-2ubuntu1
Distribution: trusty
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 701253 713605
Changes:
cbmc (4.5-2ubuntu1) trusty; urgency=low
.
* Merge from Debian unstable; remaining changes:
- build with -Wno-error=unused-result to avoid FTBFS from -Werror
.
cbmc (4.5-2) unstable; urgency=low
.
* Fixed typo in powerpc sub-arch configuration causing FTBFS
.
cbmc (4.5-1) unstable; urgency=low
.
* New upstream release
* All 4.4 patches merged
.
cbmc (4.4-2) unstable; urgency=low
.
* armhf requires __ARM_PCS_VFP to be defined
.
cbmc (4.4-1) unstable; urgency=low
.
* New upstream release (Closes: #701253, #713605)
.
cbmc (4.3-6) unstable; urgency=low
.
* Also added -5 patch to series file to actually fix the problems
* Update gcc_types_compatible_p1 to SVN HEAD
* Cherry-pick upstream r2114-2118, r2120, r2167
.
cbmc (4.3-5) unstable; urgency=low
.
* Cherry-pick upstream r2113 to fix failing regression tests on arm* and
mips*
* Cherry-pick upstream r2144 and r2148 to fix failing regression tests on
powerpc, s390*, and sparc
.
cbmc (4.3-4) unstable; urgency=low
.
* Cherry-pick upstream r2142 and r2143 to fix failing regression tests on
arm*, mips*, powerpc, s390*, and sparc
.
cbmc (4.3-3) unstable; urgency=low
.
* Cherry-pick upstream r2134 and r2139 to fix failing regression tests on
arm*, ia64, mips*, powerpc, s390*, and sparc
.
cbmc (4.3-2) unstable; urgency=low
.
* Cherry-pick upstream r2111 to fix build failure on ia64 and s390x
.
cbmc (4.3-1) unstable; urgency=low
.
* New upstream release (all code patches merged, only build system
adaptions)
Checksums-Sha1:
dfbeaefde101980dd504ce7e58514dd5ee4fa492 1168 cbmc_4.5-2ubuntu1.dsc
4b04d4d6dab95175b776cd23e5566fe06cb86ce7 3766138 cbmc_4.5.orig.tar.gz
280d842b355abae319a7d697db9dc760e3915962 6003 cbmc_4.5-2ubuntu1.debian.tar.gz
Checksums-Sha256:
03888e9f005ec45973cfe9619ee5aa94cdf0b14f6b2b306ffc1678de9520945a 1168 cbmc_4.5-2ubuntu1.dsc
531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d 3766138 cbmc_4.5.orig.tar.gz
8eecbd5fef84ee52a6efb18f3a4c9fffb973e9356ad1ae788a9f68be5e8c3734 6003 cbmc_4.5-2ubuntu1.debian.tar.gz
Files:
6cdb071b2bb115d89997126c3f311ff6 1168 science extra cbmc_4.5-2ubuntu1.dsc
b4cfb509916dd9edd5375424307041a4 3766138 science extra cbmc_4.5.orig.tar.gz
e9f933200ff376df13e7d79f41090fea 6003 science extra cbmc_4.5-2ubuntu1.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt at debian.org>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJunScACgkQvjztR8bOoMkAwACgrOVNXxKszJXAOvGCdKv2jyM1
oY0AnREQtCF1Mtwtx66ebwzqx/trmaLE
=HSR+
-----END PGP SIGNATURE-----
More information about the Trusty-changes
mailing list