Accepted cbmc 4.1-1.1 (source amd64)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 13 May 2012 14:25:21 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.1-1.1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Salvatore Bonaccorso <carnil@debian.org>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Closes: 667131
Changes: 
 cbmc (4.1-1.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Add fix-FTBFS-with-gcc-4.7.patch patch.
     Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
     where needed.
     Thanks to Cyril Brulebois <kibi@debian.org> for the patch. (Closes: #667131)
Checksums-Sha1: 
 17bceb1904afcde9a3a363a0e65ead492cba0b35 1706 cbmc_4.1-1.1.dsc
 63283904d74ddac6262ea9a2eb2cb92cbb008ea9 4791 cbmc_4.1-1.1.debian.tar.gz
 8c46154dacf9f87e8cd1072ca428afba14fd98ab 4559560 cbmc_4.1-1.1_amd64.deb
Checksums-Sha256: 
 cd692bd3fb7b4c14b3ecc20361768a3ba72f1b52e67afd5d4938d6ca4de6433f 1706 cbmc_4.1-1.1.dsc
 51a45d9309a53bbe1a02d7bf9cd756a4db3a9e58e76836363ee7f0b658882539 4791 cbmc_4.1-1.1.debian.tar.gz
 0af614b1827ef0239d37918052a89c12d826a76f9066069eac02e440a958090b 4559560 cbmc_4.1-1.1_amd64.deb
Files: 
 7911a7019da3840837748d3460897920 1706 science extra cbmc_4.1-1.1.dsc
 64d433095f3f7b10ebe4f3fd5e392de9 4791 science extra cbmc_4.1-1.1.debian.tar.gz
 b69fda633d02a702c136a83ecf62beda 4559560 science extra cbmc_4.1-1.1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJPr6k5AAoJEHidbwV/2GP+K4wQAOd42QcXdp0nf/DcVB7r/3Ei
mwloedaUVrNkUCv1RaYMUfyxy/o03jir7w8uiy3b4TMX8EoeXFoiafbj+bsC0b34
vdBkICvR+ri3CIyoNVSxYV6ZVFiZwa5BRwTJPOe3eXSoEEppD5uT6cegl7sEOe06
DuVq7rzttL7msY3bF2c4c0xiw/OiGq3UPNi1m/pYn0pwuTZqpUIALh6cJJnYkLs0
jGJD9wqkoYB5ufsEKrVe+0Qb9ySWQlWU1eQ4I2Rlf5EY7ftsHMv3aq1w4YDtNCwk
mbR/plBZVXqT4mn/wm+Jjw+bQ4+Y+XZi0fiAJfS9uWuvny0w2Y+x8T3qN5/EuLo1
FL+GM5gMFPt2Aps+HcCwPrE3C/LTqVISb3Z6/JZtqnfIWas/yQe9B2jl1Rza//je
ozCAiLOplje7PpZFqA2wN7hl0fsfBW7TWXoKC3daTCqiZbp851vSpxEgPw/jlzMP
PR7ERgBinbD2YRTjRppRnksrsvprauAAncYHSfeX9QJfycwihIlkfoYf5YLNLyl3
ZIhqgZLTpUYHREZ9KCZVO71Hpdv5Scg/dvxUCiWlBhTUkxOyyXVdsExUUhiKF4Hm
/GiRtPXQ7qHT66BhmsbIshNad3W7darj6BsD/h1Nnw2Shg1f5ZfxlqZKAkYTLz+V
92QUV9aGy1k3Mr88G7D5
=FKel
-----END PGP SIGNATURE-----


Accepted:
cbmc_4.1-1.1.debian.tar.gz
  to main/c/cbmc/cbmc_4.1-1.1.debian.tar.gz
cbmc_4.1-1.1.dsc
  to main/c/cbmc/cbmc_4.1-1.1.dsc
cbmc_4.1-1.1_amd64.deb
  to main/c/cbmc/cbmc_4.1-1.1_amd64.deb