Accepted cbmc 4.2-6 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Sep 2012 16:14:23 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.2-6
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-6) unstable; urgency=low
.
* s390x hack, will be fixed properly in next upstream release
Checksums-Sha1:
fa452dda013a0911c2a6f5604192f97aca202a0a 1061 cbmc_4.2-6.dsc
d8bcc64419035a3facd2778171957273c75b41a1 7340 cbmc_4.2-6.debian.tar.gz
85e4013db59b09e9cca1913d32d63699d070cf4b 4965530 cbmc_4.2-6_i386.deb
Checksums-Sha256:
c705fb7aa595eff239366526f753e124dcb9863b476bcf56375d808326e38359 1061 cbmc_4.2-6.dsc
53af426bfbbbdec526ea1bbbce735298b43d1fac4547f508795d8ff67e508712 7340 cbmc_4.2-6.debian.tar.gz
e4b9be894d2a15dd8f7160975afaeccb3bb8f96e490b812324a5bcd9bda3b280 4965530 cbmc_4.2-6_i386.deb
Files:
ccdb065d1c4fd0d4fcf0b3da56d9dc73 1061 science extra cbmc_4.2-6.dsc
ad71e99ce553ff314e797e818472895a 7340 science extra cbmc_4.2-6.debian.tar.gz
85b5dda0123a44dde59a00c726e87734 4965530 science extra cbmc_4.2-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlBbOkoACgkQvx6dH3bVKsQqDwCg2hpUNAb2KOzG7fWZFknDIVwM
Nv0AoLu3uNWSJAGZL/TZJHacV3qHVALW
=6KS6
-----END PGP SIGNATURE-----
Reply to: