Accepted cbmc 5.1-1~bpo8+1 (source i386) into jessie-backports, jessie-backports
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 11 May 2015 11:55:38 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.1-1~bpo8+1
Distribution: jessie-backports
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 765376 773455 776842
Changes:
cbmc (5.1-1~bpo8+1) jessie-backports; urgency=low
.
* Upload to backports
* Proper cleanup (from future 5.1-2)
.
cbmc (5.1-1) unstable; urgency=low
.
* New upstream release
* Most 5.0 patches merged
.
cbmc (5.0-3) unstable; urgency=low
.
* Fix long-double-width on sparc
.
cbmc (5.0-2) unstable; urgency=low
.
* Pick big-endian patches from trunk (Closes: 776842)
.
cbmc (5.0-1) unstable; urgency=low
.
* New upstream release
* Most 4.9 patches merged
* Includes support for ppc64el. Thanks Breno Leitao for further patches.
(Closes: #765376)
.
cbmc (4.9-5) unstable; urgency=low
.
* Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up.
(Closes: #773455)
* Updated Standards version to 3.9.6 (no changes required)
Checksums-Sha1:
950da1a7d6d930a9a143b6ee7a589b8a3e9cd381 1760 cbmc_5.1-1~bpo8+1.dsc
9e35b0f73a5a2050533ab85e50bce85959ce29ba 10004 cbmc_5.1-1~bpo8+1.debian.tar.xz
d359005d6951c2536baa94d8386628172b4b5298 2771540 cbmc_5.1-1~bpo8+1_i386.deb
Checksums-Sha256:
bc82073d63d7341d48bf56ca7e2718c0e775949980e3a740d0b93d3681f09283 1760 cbmc_5.1-1~bpo8+1.dsc
81b424ee41ddb7eb4d108e4d051e4151bd151f322c1ae6430135b2bea420e935 10004 cbmc_5.1-1~bpo8+1.debian.tar.xz
c56e2ba97952cf26a8749d2f925c76e5e52128f7fcfcbcd1494dbecbba0c8c55 2771540 cbmc_5.1-1~bpo8+1_i386.deb
Files:
4140021bbd88120119bec72499b05caf 1760 science extra cbmc_5.1-1~bpo8+1.dsc
afee90acaf0cc7001b071181b2f40aaf 10004 science extra cbmc_5.1-1~bpo8+1.debian.tar.xz
c98a4c8f3316aa869795df68090d2e00 2771540 science extra cbmc_5.1-1~bpo8+1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJVZye3AAoJEDu/g5M27KkxWo8QAJHEmqbwyA/rgxNn2QXOQgAT
2CMohGkJAV8A3FfuzyGEgnfvbegL3c2jGgyCC8jhc5DsIHmnNay8EaEe3HW9p9JX
Syjbj2xMjfGIGHIsey1XgkYTEhQ/4WL9dUWti9Q+lAvxdTUOIvYtry4xer3XQVbL
rnFAnOYqFzZEoNCJEoSzMdekah52M1N6gPnPkEaTnqSokzdJeKNNOHouF7piHCSR
zjgqQ+Aq6PNGj/TOusLMMBA22xiTn4BMnft1h8CuGK5UrGsUzUSI+9BBRuxXPfF/
4mTO9Rx1XC4oDDtDCJsC+COtG0ACiv5Eo6k6zEmhPDuU988u8byh3+2KCJay5CuA
sMiyUG2Kj+Jn8w+e8SHsMKkNjrQPZWu0r81k4c4/ouFYec9/nSHKeO9c90+f8u7U
x4I/JTDSSi70E2Q6CnTeZJiqgF74Mr4l4NySPV6VuNP8ZK2dzAgX8GYLW5qAY/iC
QxtNmD7dvh4810qjoVh31Pe14aSjsPbeiQB4bpBjM7MG9OD8XXFlyOwDLmxYdHZt
CAvECPGHaz+l9PXD1NFoY3BoeK/mjPd9rKU6SJZg0le+JTIXjMRn364Hmz5QFJFn
rE1PNepKsFaKg5kN3fdyXsXUMLGYmZ7Su6z9vc3NCEqHwpS6Inu+/UY61Z78QLn+
wf3Q5Mca11NTwNUbSA4L
=Q7hO
-----END PGP SIGNATURE-----
Reply to: