Accepted cbmc 5.1-1 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 11 May 2015 00:39:01 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.1-1
Distribution: unstable
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
Changes:
cbmc (5.1-1) unstable; urgency=low
.
* New upstream release
* Most 5.0 patches merged
Checksums-Sha1:
4fa5cb26a6fa6e975a4907519deb35f3e1de70d6 1729 cbmc_5.1-1.dsc
9555ce1f5ff294cc75b55b57748ae2c24033311f 5127990 cbmc_5.1.orig.tar.gz
f62b897053a6f4a2d3c5ad4d37afadbdbe0a29ca 9480 cbmc_5.1-1.debian.tar.xz
24da50df55601ea95fbe1da14b075b7cbd82d30a 2768736 cbmc_5.1-1_i386.deb
Checksums-Sha256:
0d956b07a1c74dab062a821a23ce6dbbd838628fb811f2850e8e574828e412a8 1729 cbmc_5.1-1.dsc
3049bf22b2068baf221237667867753ff0844813c445490bd1b2dcfce2a31e25 5127990 cbmc_5.1.orig.tar.gz
867973d6a3674f9b9b3e76d9e624b38511a7eb7ecfb417bab17a0eba50c0b4c0 9480 cbmc_5.1-1.debian.tar.xz
eb00046401ecf8687b96553ff15cd6cb03ee4bc73b9b86031470ec8bc103b61a 2768736 cbmc_5.1-1_i386.deb
Files:
588238a53e277e599c690e1f4294faf6 1729 science extra cbmc_5.1-1.dsc
ab8da0895661ef14c64b751b3e5a00da 5127990 science extra cbmc_5.1.orig.tar.gz
c1aafc2897d4bdda79ec1898456de6e6 9480 science extra cbmc_5.1-1.debian.tar.xz
24a0b89c5271d342537c6cdf50c28f02 2768736 science extra cbmc_5.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJVT/CDAAoJEDu/g5M27KkxqXMP/0D6XsuOnps2se4arYVSNXP4
hxIPMtCELWamWkbdBwsb6Yi4fL21OwXheYbEM+kN/0UCWiJ7r7pDfpfiCo9Cp7vY
XskNy+709eTTx/PYv9JcBg41gPVZJUvjC8/1QJd4mJxkd0ctYqUY5GiEDQJsEfqI
9+5oI+gST4mYkqi1Z5ohWXTE2sYtR0t53d8VA39QUtTyf19mqws+zcNx4fTCizrD
R8t9MOwHfzkwb5k2E9ECQvbyslr/Q5HRZokKS/DMFax5bWHW23HpCc7BxIOEK0or
CGfYgsyqu4T4cMdWnTlYGZRPO8xBeFrYZGJHqxMPrk2Igzp7LvsDhS9n6U1BtsGZ
t8Koc5/7cNXa81qnF73NToHe22vhlV3SUV7F2une5MqQ2gGkH4IgZk4eTlqgWY/m
2aPEgIJmMIu74aIDy4MGPjQcDwxF7Qqa1nyFKbjkkTvWHMaI5jIupoZ7bI+jcSzl
mSf/0BaAqhueNsz++GfUnVqIAD5g1ols13Upgc/lpcBOx65zmkOXWZxM9+/RYPNG
AtWeG/rgHYBXhCk4gggeg7Mhz4S2iASNwTHs3dx1qyCFERIZfFdwRz0KuAgEzYXg
PDHaHZdhaZl4rLYjV8XzmiximHwZsEWJoZnonzFhSaKKQQDqkvba3PhNB+36Y5bw
vTb7KEPHNJbh+FvaHabM
=VrIl
-----END PGP SIGNATURE-----