Your message dated Sat, 07 Feb 2015 23:03:43 +0000
with message-id <e1ykepf-0000ja...@franck.debian.org>
and subject line Bug#776842: fixed in cbmc 5.0-2
has caused the Debian Bug report #776842,
regarding cbmc: FTBFS on mips, mipsel, powerpc, s390x - testsuite failures
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.)
--
776842: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=776842
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: cbmc
Version: 5.0-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)
Hi,
cbmc FTBFS on mips, mipsel, powerpc and s390x with some testsuite
errors. It looks like (after a quick skim of the logs) the failures are
identical.
The full logs with all the errors can be found here:
https://buildd.debian.org/status/package.php?p=cbmc
Thanks,
James
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 5.0-2
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 776...@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, 07 Feb 2015 22:23:33 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.0-2
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: 776842
Changes:
cbmc (5.0-2) unstable; urgency=low
.
* Pick big-endian patches from trunk (Closes: 776842)
Checksums-Sha1:
d74e8222dae6cbed6c9099e38f048e1d19b42edc 1749 cbmc_5.0-2.dsc
871f5ab0d78bc75b3048c8e13652186f4d47c7e1 23804 cbmc_5.0-2.debian.tar.xz
Checksums-Sha256:
88dea6caf6d3f60b54d6a1855b81e990d2ec778b27ed98182ef3f133ba509f26 1749
cbmc_5.0-2.dsc
59a63a9fe0cd81f30e3ac9fc46620abf88db85359ed5252bb68a999b4b907a92 23804
cbmc_5.0-2.debian.tar.xz
Files:
de178440faee1dcf5e01fce0f5002f87 1749 science extra cbmc_5.0-2.dsc
d1ea5f7ca8fdb4dba075c0507d76788d 23804 science extra cbmc_5.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJU1paUAAoJEDu/g5M27KkxcT0QAIMogRAMO1BimRDcEDqiis/F
+7M6Cojf9wEU7G5XIz1NbprL6an+x5jcxSgY5jF8KwaMcR2nZx9bRvofYVf7XV42
wFDAJOdFjVrZymGWK4pYNQUy3q347nbUiiCz25ER44p8A8WHfrBWLNWqysdTuYH8
oBr8EQ60D3MkfNuESmURoOyKxvkRvtAyYaL7K+yAQpki/x9DQhBeF89x6J17CAxq
e4yuLsxR+crpDp9vqv3qEB3xUIgQ0+3uraR/TUMv3UcOO2wFvjHFd/xzcE6NViiV
vKXQQGUon4yXrpi8zetOw2cAM1fEN+y/YdM71X1l4tiAmMTBFn9Lk4r2HTmcXqoH
fy5C9GfNDs7YzLai7M+RBxu71xvgQM2xywWhkeMTIhT2GualJWgjphOQphezQcHK
MCGfCOIE283PRwlHgpi9gfo8PwhZoPMOaS01j0uc3T0q4j2XrHUyetdbs1i6OMte
+YrTSrVKd3PdpB8BOG+60d4Ti59t9EBIi/pFOT6ztNt7J5q7CX5XS4YdgnbpDLWm
ENZFsE82PltTPUxgWVAe97Epa832nXA2qXA0WWlhsoumLagJwHqaXJc+s4bRlhSm
y3eFNEQDW9I6g1L7DlUm98E1oEJo5Du1OOrch/EaD+5HC9fUViBvMKSoBx2GJANt
mwdkp4e8NigMpKnx4bIZ
=YvvE
-----END PGP SIGNATURE-----
--- End Message ---
