Back to cbmc PTS page

Accepted cbmc 5.0-1 (source i386) into unstable



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