-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 15 Feb 2013 10:52:56 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.3-5
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-5) unstable; urgency=low
.
* Cherry-pick upstream r2113 to fix failing regression tests on arm* and
mips*
* Cherry-pick upstream r2144 and r2148 to fix failing regression tests on
powerpc, s390*, and sparc
Checksums-Sha1:
29f0651eac643a80414900e17f703009f27302cf 1061 cbmc_4.3-5.dsc
7598fbf2751c0d61fa50af747aaf7947a00ff682 7050 cbmc_4.3-5.debian.tar.gz
e18e5f4cd4f705290b5c23086632043a7aac3c0c 4589494 cbmc_4.3-5_i386.deb
Checksums-Sha256:
13559eaace648aedcb03fa63c02f69ee8543f4cd83380608dd1bcc4348640169 1061 cbmc_4.3-5.dsc
0f8b34ba6edece9b6754a001877c223200a5fae55e068a159ce787695425c6aa 7050 cbmc_4.3-5.debian.tar.gz
fe93651cede4c83e5b9943d042bfa075dfefdec62167cf792e1e2533932f0368 4589494 cbmc_4.3-5_i386.deb
Files:
e60328ba781b75d7464c53bc8f202f4b 1061 science extra cbmc_4.3-5.dsc
f7793bc7735dba676241dbc594ffacc9 7050 science extra cbmc_4.3-5.debian.tar.gz
143db2e82a8fe6d185e096de8902ad03 4589494 science extra cbmc_4.3-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlEeIC0ACgkQvx6dH3bVKsRpcQCfaR4RTnJzA8oq95tmTLfsiGOA
u4UAoKdNL0SnImRDcsUelAzfGNhXf/Sw
=Zg8D
-----END PGP SIGNATURE-----
