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