Accepted cbmc 4.2-1 (source i386)
-----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-----
Reply to: