-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 29 Jan 2015 07:30:49 +0000 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.0-1 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 Closes: 765376 Changes: cbmc (5.0-1) unstable; urgency=low . * New upstream release * Most 4.9 patches merged * Includes support for ppc64el. Thanks Breno Leitao for further patches. (Closes: #765376) Checksums-Sha1: 337da1d4e94686e715ae1caf7799e6ee98cb5166 1746 cbmc_5.0-1.dsc 27109c8d352418eb92c32c4ef78492c43a926e93 5088984 cbmc_5.0.orig.tar.gz 4846921042b43a815c89263ef93778816c97f527 9836 cbmc_5.0-1.debian.tar.xz Checksums-Sha256: 26ed943a2f8cd0fbec46c32a7391a4fee5c3abbccdcfad9f163d7ae7e450ec17 1746 cbmc_5.0-1.dsc 667cc36ac0c059fa9dae6a1b3df5c76725842d8bd4218d3c93080c7f47c357c1 5088984 cbmc_5.0.orig.tar.gz e59f66460f1ff99d43a33cbfeaf658988aaa7e8d95d508685d9eeeb212aafb81 9836 cbmc_5.0-1.debian.tar.xz Files: dd1dd1e60d1b13468e5cb1a877269c32 1746 science extra cbmc_5.0-1.dsc 7f78627c7dd5d3f38a804003f6c53aa6 5088984 science extra cbmc_5.0.orig.tar.gz 3f74a7b9be2281eec2419a14d0f4acc2 9836 science extra cbmc_5.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJUyeyzAAoJEDu/g5M27KkxzIQP/RI/SjQOoNnd0+Rmg8f0qyCM cN0h3ZHNZcF2nSvm9xGyMr0ZwWo9/vG2xs+rK9FScGm18UnacrON4M+wnozjSHR0 2BQSTPeESb9zfarUs15ThCGIZjXIr0Q6Z/3BU7t3g4HzrMNFBmMeqIHaRdAgndrJ LBi09KCkVyKUvZYjUuso58vPoFpePTJTvEBeV7mmwtuCmcaEz9sSabLw8SqGL5nV UuPXx78y1DlbsimncEgwr+BEiLy27GqEe4tmnE5uXGbaOSyR2mC8mjav9fQWFAdH gVhh3l3S+iP8zz3E3ebZoYkbRiaufi3CmalxJrMgIRfBGaJ29XPugisBeRGDGXcP +fAiH75c3VDCcwsZX3qaeaVm0lun2uVMnDfr5LM13m9cyptl7wmXBlx4rNQKk+tJ WFP/dCEjrY935Adza0vhiZQC/78GZAwkvTiGHbx7gGBAQdki+TbYIMYYEFVfA5jw mPVHjeb6BAc1XVXNme1FYMHnGcRD4Sm4cxQimYjyGkMw9T1HY1WfqrXyR+5ETC29 u0qWVqOvQ7nJtnHqHsK4tKxt7mmHOzPl6I1zJjEwLarBFJz5ZEbS7NBVF+6Ud7OG BYR4N84MOm+trWYp02fFWqGooYmU7DwwCZH/YpzZZ5r0gUacJUSfmOc5WSyUDMBp gC3nt/Ch9GO+dyIt/zps =iBSV -----END PGP SIGNATURE-----
