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 <adcon...@ubuntu.com> Maintainer: Ubuntu Developers <ubuntu-devel-disc...@lists.ubuntu.com> https://launchpad.net/ubuntu/trusty/+source/cbmc/4.5-2ubuntu1
-----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-disc...@lists.ubuntu.com> Changed-By: Adam Conrad <adcon...@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 <m...@debian.org> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJunScACgkQvjztR8bOoMkAwACgrOVNXxKszJXAOvGCdKv2jyM1 oY0AnREQtCF1Mtwtx66ebwzqx/trmaLE =HSR+ -----END PGP SIGNATURE-----
-- Trusty-changes mailing list Trusty-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes