-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1u6qmr-0006bf...@franck.debian.org
