Accepted cbmc 4.2-4 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 19 Sep 2012 17:47:42 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.2-4
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-4) unstable; urgency=low
.
* Fix missing includes on freebsd kernels, once more
* Fix test suite for non-x86 architecture specifics
Checksums-Sha1:
ab6b6b554bd028f594a7616c9509214e8be1ad5e 1061 cbmc_4.2-4.dsc
620cf2c3ab6c1b9f8b31560f6283be81ebd9c010 6454 cbmc_4.2-4.debian.tar.gz
c1fff79f01816aa276a00bfe96f861091d6061af 4964562 cbmc_4.2-4_i386.deb
Checksums-Sha256:
a775f2474553d187f27b6502177629fa20e6f91340df94cc102eeffe24ea4921 1061 cbmc_4.2-4.dsc
cc2e3b831ab4c00dd9b25ed0e3a18ffb776711fb59aa0f753d53d87d3aadbe59 6454 cbmc_4.2-4.debian.tar.gz
bc6fbd0ba1ca5b496a35cdf4ee15b088a800cf2fdc1bb7d052669c3e431bc1ec 4964562 cbmc_4.2-4_i386.deb
Files:
bcb6ad19afdc9771338971ca631800d4 1061 science extra cbmc_4.2-4.dsc
553125a985724bbd07808d05524175ee 6454 science extra cbmc_4.2-4.debian.tar.gz
f8df98e164fccff69e39ce8424aedd15 4964562 science extra cbmc_4.2-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlBaGLAACgkQvx6dH3bVKsTOQQCg+lXfWnh1Z36UoaTYoykeu/Ss
euQAniEOI5F3F7IVAGzNWsyaeHctFLZ9
=hnai
-----END PGP SIGNATURE-----
Reply to: