Accepted cbmc 4.2-3 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 19 Sep 2012 16:57:50 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.2-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.2-3) unstable; urgency=low
.
* Fix missing includes on freebsd kernels
* Fixed test output helper
Checksums-Sha1:
7baada1b47c556cb168aa7f929ee0a4680e12fe8 1061 cbmc_4.2-3.dsc
28dfd85c7ba4f7971002f9f8a1efe3ae9dfb66e5 6057 cbmc_4.2-3.debian.tar.gz
97d9c707e17cbffecd28d3eaa969dbb0f72f19c8 4964484 cbmc_4.2-3_i386.deb
Checksums-Sha256:
a080e5885950b1f84566e16f3860d36226f81fbd23145aeb22a8d839a6b6b241 1061 cbmc_4.2-3.dsc
e305a80d74ed2c74c0147bebd7a89dccd19d3ab23f99c6d0410c0c71afbb4eaa 6057 cbmc_4.2-3.debian.tar.gz
a97cba1fae2dcf5890f151240ae03bff782c700d3c1612ed68cb52e8329b57db 4964484 cbmc_4.2-3_i386.deb
Files:
6259df447629daf44cf7e8ab91c42c5b 1061 science extra cbmc_4.2-3.dsc
62db07e86495d152abd076fbe1b172c3 6057 science extra cbmc_4.2-3.debian.tar.gz
313b4e7334641393c7d00d5df6f6e867 4964484 science extra cbmc_4.2-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlBZ9dQACgkQvx6dH3bVKsRr/wCguN5zhndlvZx8uGDnbaUyMxub
O94An0e6mO2DrfS4zzFlxkc/RH2WWYZF
=Jl70
-----END PGP SIGNATURE-----
Reply to: