-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 11 Feb 2013 21:12:02 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-3
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-3) unstable; urgency=low
.
* Cherry-pick upstream r2134 and r2139 to fix failing regression tests on
arm*, ia64, mips*, powerpc, s390*, and sparc
Checksums-Sha1:
faa0f23eff16aa77646fdcc6fe57ee9b6079fde0 1061 cbmc_4.3-3.dsc
589f7a759917aa0c693234798ad7ff027d7bda81 6619 cbmc_4.3-3.debian.tar.gz
c1e573ff326fe948bd986939c671aea113ae9a91 4589458 cbmc_4.3-3_i386.deb
Checksums-Sha256:
739728b54040915001b2ea8672371a1a9c8d0c33451cc289d99f3bee3ce5dc55 1061 cbmc_4.3-3.dsc
c68c1da2ede633cbf16332050e6a5bf92c09682a11a10a88036d6d54f085af89 6619 cbmc_4.3-3.debian.tar.gz
2c4834fa201492bb806b6d4cbeaba4728477bdf9753ff6bb77ece463fc8ef2a8 4589458 cbmc_4.3-3_i386.deb
Files:
d22996379efca2813e1f0f9966c2b71f 1061 science extra cbmc_4.3-3.dsc
493326c9c6e505de265dbde0b3d25faa 6619 science extra cbmc_4.3-3.debian.tar.gz
bd8f7d94df35658ab4304c9af6c5cb90 4589458 science extra cbmc_4.3-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEZZfYACgkQvx6dH3bVKsTifwCgyQU2z/dEAFf6DLDo0OJc8zfR
R2wAoPwwbqxyB02mM+0+zVSPUhl7VeSp
=6iOU
-----END PGP SIGNATURE-----
