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