-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 25 Aug 2013 12:33:14 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.5-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 (4.5-1) unstable; urgency=low . * New upstream release * All 4.4 patches merged Checksums-Sha1: 6b01804ae5cb2521c7dc55b16c23bfd0e45721e0 1741 cbmc_4.5-1.dsc 4b04d4d6dab95175b776cd23e5566fe06cb86ce7 3766138 cbmc_4.5.orig.tar.gz 4729468a0607d9fbffa4ac29eb6d42d8551ad68a 5467 cbmc_4.5-1.debian.tar.gz f10c96cc7b25db6442a486904fae29e52d614673 2645258 cbmc_4.5-1_i386.deb Checksums-Sha256: 9614ed79df15ef3f3517a001cef6a503aa9e67cfac9a53a3dfed6d339e6a78b0 1741 cbmc_4.5-1.dsc 531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d 3766138 cbmc_4.5.orig.tar.gz 28a2ad471aaa757e5f672196dabe8eac467582b7e155c68f4b3cdd10a6502efc 5467 cbmc_4.5-1.debian.tar.gz 02a58180e95f430ae0cb2a3366cb74df55a2c06382a92057c68ae7c3de6b3b63 2645258 cbmc_4.5-1_i386.deb Files: 329c1834786be2fc42aab2d3b9a153ae 1741 science extra cbmc_4.5-1.dsc b4cfb509916dd9edd5375424307041a4 3766138 science extra cbmc_4.5.orig.tar.gz 4048e3c6377aae57fbfac1635c62901b 5467 science extra cbmc_4.5-1.debian.tar.gz 673daf92036c95b9518862f2bccb4753 2645258 science extra cbmc_4.5-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJSGg+NAAoJEKjvEonjOGdBr1YQAJYBlz49vj/pfptaqooLD/Sf +Fw2IOzvsamaUAXiA/VO/tqY1TehAKSSIzIkKNt6AJlTMkQvjb+fsi4TSlnUT5yW zZHs3zi9o2qp/SZ+X9a1AtjPPgm1sX4ImIlL5UPUMeHq5ee06XFfixqy7PfvQAeD GgE1u5SGJd/1CXOEH73sc0TCeVwpyPsvxJlMKSWMwvGHrhPyUFyZaAeUzT57VVcJ rZw61mYo5W12Zv/XfB+SP6fkURJnxpVOew1n8/I5kBNGH2jw7IT2J0KM8cnA74AU GBbVBxHrwAEjldjq1yNvdGrAfK+OtXBBs6uwdv9irNDzkMk+X1YaSAOclkcSlFbp Sa3ZK9K0RNabtREV/c3lL5jkGPtxlIP0beR3+zzpqy1L5S9OFoJxk/lhAhBj3eej WCqJEtsrsH14SSbJ4JH4uw0ApefZZzPhS4XmwJe1X+d8Gi+6oJfHOW9YHQ4zxp35 aYI2xi/6L8GMI9qE9DJBK6L2TZBwHz4eNygrZ+pyJz/p1j4YH2GhXAVi/W2H7D6+ tJWTGPkryt2uUTR68uLuzN7k9t5Ed83sfD+z0lSrJ89Wr2eNdrsLsLvixQL4B8PW ntjkcIFBiJYa54oCjX0g3J++EALiSd9cCUbDgCjOGSnfm9x3OFHqkfombnzVY2Dx HkWZ2zCdBBzL1Yz7gCq+ =9X07 -----END PGP SIGNATURE-----
