[ubuntu/trusty-proposed] cbmc 4.5-2ubuntu1 (Accepted)

[Adam Conrad]

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-----