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
Reply to: