Your message dated Sat, 11 Oct 2014 13:18:39 +0000 with message-id <e1xcwzd-0001ik...@franck.debian.org> and subject line Bug#763228: fixed in cbmc 4.9-4 has caused the Debian Bug report #763228, regarding cbmc: FTBFS: ld: final link failed: Bad value to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 763228: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763228 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: cbmc Version: 4.9-3 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20140926 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > /usr/bin/ld: .eh_frame_hdr refers to overlapping FDEs. > /usr/bin/ld: final link failed: Bad value > collect2: error: ld returned 1 exit status The full build log is available from: http://aws-logs.debian.net/ftbfs-logs/2014/09/26/cbmc_4.9-3_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 4.9-4 We believe that the bug you reported is fixed in the latest version of cbmc, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 763...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Michael Tautschnig <m...@debian.org> (supplier of updated cbmc package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----
--- End Message ---
