Accepted cbmc 4.3-6 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 15 Feb 2013 18:35:06 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-6
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.3-6) unstable; urgency=low
.
* Also added -5 patch to series file to actually fix the problems
* Update gcc_types_compatible_p1 to SVN HEAD
* Cherry-pick upstream r2114-2118, r2120, r2167
Checksums-Sha1:
1c452e316229e6b71382442cc840665d96250b24 1064 cbmc_4.3-6.dsc
0ba6817f36a31cf4b5be7893bf55fc1e5eea429c 16838 cbmc_4.3-6.debian.tar.gz
7e0596fd6950c77fa0853d7217bb103a047c620f 4594598 cbmc_4.3-6_i386.deb
Checksums-Sha256:
4c67810d64b71c66a2278ab4c17401a8c5791271f56e4441f563c7a3bf2a357d 1064 cbmc_4.3-6.dsc
2c87e082ef6d2ffd31f3ce9b0b0b963055b95779684a84f385da57f09d4fd8cf 16838 cbmc_4.3-6.debian.tar.gz
60a2e2d03fd2a6c57a4bfe51f64b55e6c71a8ac830919aef3021f09ef106c857 4594598 cbmc_4.3-6_i386.deb
Files:
986f8eb5d3ddd0b4d55b41956a26c6a7 1064 science extra cbmc_4.3-6.dsc
6573c4332f2838084868db43f214a781 16838 science extra cbmc_4.3-6.debian.tar.gz
ff30e6ded483b64d07c773409d9c682a 4594598 science extra cbmc_4.3-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEehacACgkQvx6dH3bVKsQgwQCZAdaWhx8IkEUxKa7na3i5rWIN
uw8AoPsn9cWOK67xudjc9htKoMvE6C93
=NjpZ
-----END PGP SIGNATURE-----
Reply to: