Changelog
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)
-- Adam Conrad <email address hidden> Mon, 28 Oct 2013 10:47:38 -0600