Accepted cbmc 4.9-4 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 11 Oct 2014 12:58:47 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.9-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
Closes: 763228
Changes:
cbmc (4.9-4) unstable; urgency=low
.
* Work around binutils regression using ar rcf instead of ld -r. Thanks
Matthias Klose for the suggestion. (Closes: #763228)
Checksums-Sha1:
2cda151fc74c225cfaf4b42ef93319aa958b755b 1749 cbmc_4.9-4.dsc
9af98b1bb5167ac348779878e2a355cfb9244b91 15360 cbmc_4.9-4.debian.tar.xz
Checksums-Sha256:
55440ff39649b31765a80dd5bdd184d04c800664e311faa3ac6d9f3632c3eba2 1749 cbmc_4.9-4.dsc
f6e286b6d7bd99f35bc09dff29d6ba060b1652df3efaffdf8637d9d6ee4ae829 15360 cbmc_4.9-4.debian.tar.xz
Files:
456355f480969b373c3023dc2bd41ff9 1749 science extra cbmc_4.9-4.dsc
6ec126451109b4a392d14aa54b1e5e00 15360 science extra cbmc_4.9-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJUOSunAAoJEKjvEonjOGdBqFIQALAXZT/E9YA+FJ8VypzeUOi5
2gE0KA0RS1LzVxL/iKgmQ5KS1QWqqaVCnn41B/sfaHWCUwx1e8ZzsJTS3cnr/imb
gdsoi1IO2SlwmV1QSA/SqOjbj3vjScjcKDDPhNHlAI3Wm+dBuFnn3wlec+yOdfuU
wgsdhmVggcXfqZOz4FPGOpQz6/suApk8cXq404XkLsKFhlkpOw3QPIb8nOQi9qH4
sLqBtcAU3rbas+i2JYVwUPbu/noew7Uyiu1dDHDNJVeVLM1VOqDcmWFv+/TN+gfd
8mRJiPQS7z2ENIpMMSkUIcGZpAq05suevNq9h0DWWTlREENA9Atz3rg6fX3Kq9Sf
mne6J1PSctxYU0kDqXj8sARNibaI1GxUBWmNeiBKamGINm9ytilQKYqAs+YFKEcH
IdnQjbHen6xn6JR0SKKE/M/v6iixY+MouNekK6MYz6a1Z+qw41RZwKzSiKDqDh0I
dxm1ygOwXjmVq9Sh1tjW1nXYXt6F89YNlUxwL0omTSgjJm8yTDp+CNxPZ4P3z94I
gjUBDZjdwrH10V8fnlYvfPS/vocAMzpOD6MBUYz3YtoWJ1AJHfCZPOP/RquYQyAo
yj0gvD+6OOFsbq1oCbM6hrrsaMcr7VBgUcUVLegsfgjGCMtR0GoXyfDMeK+JmtuX
UnvUGEjTmQuXN27xYzMm
=Otkd
-----END PGP SIGNATURE-----