-----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-----
