-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 10:29:19 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-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.2-1) unstable; urgency=low . * New upstream release (includes GCC 4.7 fixes of previous NMUs) * Use DEB_CXXFLAGS_MAINT_APPEND to comply with dpkg-buildflags * Run test suite after build Checksums-Sha1: 3b6053239c6cdb54bcdaffddbd5414731bf16f94 1061 cbmc_4.2-1.dsc e69767ed3972b3ce85739eb88a56fdc45266f4cd 3398200 cbmc_4.2.orig.tar.gz d1dde79f542c01bbc7e4b0fba173a62b38bc5dde 4780 cbmc_4.2-1.debian.tar.gz 9b671f96b87f0e7a539ba62552942520eb94b52f 4961322 cbmc_4.2-1_i386.deb Checksums-Sha256: ffc59eead34ab74fb5618206db197e3dff9794e7e91cfce966f2c429b532ded6 1061 cbmc_4.2-1.dsc 038ae992a1e69dbb4833208028804e1093573bf1c7c1e8d7ec24ce59ead7594b 3398200 cbmc_4.2.orig.tar.gz 9cf4afc9e69f9a0476ff8d0ef169bc909ae7fce93aaecf26bd7a6bd6f9db8441 4780 cbmc_4.2-1.debian.tar.gz 59910f54b890f0388bc62c05e3382a15708bf112ba43af815bbb2c34f345ad2c 4961322 cbmc_4.2-1_i386.deb Files: eebac7a2a6fa0560d912a3f8fec8608e 1061 science extra cbmc_4.2-1.dsc 397b44db218c6827be68c4893656a2f9 3398200 science extra cbmc_4.2.orig.tar.gz e665a029d6a9192dc9b49dbf4955f456 4780 science extra cbmc_4.2-1.debian.tar.gz 80c0b99b20e21e9baeb6bd04cd62b951 4961322 science extra cbmc_4.2-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlBZpWMACgkQvx6dH3bVKsS9FACg3AENTZ6V5sAMdqR0kQwLnJNE LeoAn3MOOL/0IVkrlAy6dD449PScrrTC =Shsf -----END PGP SIGNATURE-----
