-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 12 Feb 2013 15:01:56 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-4
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-4) unstable; urgency=low
.
* Cherry-pick upstream r2142 and r2143 to fix failing regression tests on
arm*, mips*, powerpc, s390*, and sparc
Checksums-Sha1:
9ea0cfc008f71fa7861728cbed3b908a356e7e20 1061 cbmc_4.3-4.dsc
78e1f84f29684f4a7cb4bd617756bee5e085e99e 6934 cbmc_4.3-4.debian.tar.gz
c8a7d558ce9733c238b39725372952324a25d6ee 4589476 cbmc_4.3-4_i386.deb
Checksums-Sha256:
cfbf5f8b24f5f9b98b3fcbb28e2f80480f072a54ad532cf33b157bfe9df8fdb3 1061 cbmc_4.3-4.dsc
b16a34b43b6153d7827ec995704208b0206dc3e39127ae25c3844aef89ebca6e 6934 cbmc_4.3-4.debian.tar.gz
6764399ee38aa1e16724a4444ee7918fe91cdbde91dbe3da0a6c00900adfdb17 4589476 cbmc_4.3-4_i386.deb
Files:
465cd7750c944a528fddca9b7c187866 1061 science extra cbmc_4.3-4.dsc
a2363e49c4ba5d157dd8ac4f5234da3e 6934 science extra cbmc_4.3-4.debian.tar.gz
3ce268f914fa015378e3767f4281c801 4589476 science extra cbmc_4.3-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEaa0cACgkQvx6dH3bVKsSTCgCg3PB1Ez0BsOUbejpxwPIa9vvu
ypsAoKGsvkLtnUh0DwTIRiG8hXYrJOh6
=kRme
-----END PGP SIGNATURE-----
