-----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-----
