Accepted cbmc 4.9-2 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 06 Aug 2014 12:17:09 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.9-2
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.9-2) unstable; urgency=low
.
* Again mark several tests as KNOWNBUG due to incomplete big-endian
support
Checksums-Sha1:
5d1c7b631ca88d5aed058810ec8c276f1c5b9552 1746 cbmc_4.9-2.dsc
ea98f213cf9f3ca74001d881b9ea3ad0783d60ef 9228 cbmc_4.9-2.debian.tar.xz
4f977cd0bd107bbfd94c011e195e90206ce628ae 2809312 cbmc_4.9-2_i386.deb
Checksums-Sha256:
2cf6f5612e8f7651563aecd92c6f8b5206fd584b52abb05346e5eb171636d22e 1746 cbmc_4.9-2.dsc
277c092658bec0efdbd507efa09a413c1d8fad0c269e49457ffe1fe334533d8b 9228 cbmc_4.9-2.debian.tar.xz
5a095c2e4cadd3b3bce402d4177e95326a4c812e6f0704da5df1d4bbd4a213ff 2809312 cbmc_4.9-2_i386.deb
Files:
ca5897cd89e782ab9b683623483ce9a8 2809312 science extra cbmc_4.9-2_i386.deb
153a4f4add15241a34d1b67f81f7e2cf 1746 science extra cbmc_4.9-2.dsc
4187dd3857653f6b7c36e9cc7ce19983 9228 science extra cbmc_4.9-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJT4hZBAAoJEKjvEonjOGdBCj8QAIyIakr58EM+iHNgYsabaSmm
wDpOulBxHscREz0BO01OeL0Njy/wjB0YizE5QS4ghJAIQK6N86wh2/QD5QbdwuMH
ozK6MXbUwcHxLnwamTW2bAzQyS1l3UU55RNESl/7hKX2Kqaj6lmd8W+iNYnC5bYP
qDgmgg4KtjGHpo/kFxeERBgTAez1dtz72C9ROJkkT0Ms9R1HQA/sEM7zqoT3QFXl
y8f4MZ5rb00eqnppiH7ZHlxzEJcXDa0QSgnGsQXZPmDNv9yoeAb9IC0Ry0xI1kWT
w1/lMQQlqAQaMCCd40cETu75cdgYeshimSm5508+YVWAzGMWLTmHci6gUbRKmzfy
SktTMftxVKY3WHp1iU2sVCIWaz1rxXXxj/spZ3G5Nru8xuNqmH3/id6Fh11pzs0D
rb4D4EhvIR78Z9+1tH0GlxLL2fDMIcxc649NeCN5i1I6g8uRro3zUhVAgL8OrAu7
z52pDmJ8hDDvKj5e3nfVetkmkRL5gDo2mPb+WxeYBy99hvmpIm9OnXpzBzBJReQ1
DZqYJBdQpW69qcIBtycL+FQ7fdfndhaHo27bydrkpIs+l/c2krotQ5yn6EQ9hWZj
EdMOh7O1sLUVTl8eGlkk+eyx2iXNMrd6wTxmgIN3NJEhF96GdP/z64fHwp3DXS65
yJ9optSyeHbpZHphvZR0
=1pi9
-----END PGP SIGNATURE-----