Your message dated Tue, 15 Jul 2014 11:34:05 +0000 with message-id <e1x70zl-0000pr...@franck.debian.org> and subject line Bug#754717: fixed in cbmc 4.7-2 has caused the Debian Bug report #754717, regarding cbmc: FTBFS due to test suite failures on mips* powerpc s390x sparc 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.) -- 754717: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=754717 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: cbmc Version: 4.7-1 Severity: serious Justification: FTBFS Hi, your package no longer builds on many architectures due to test suite failures. You'll find the build log summary here: https://buildd.debian.org/status/package.php?p=cbmc&suite=sid Mraw, KiBi.
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 4.7-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 754...@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: Tue, 15 Jul 2014 11:54:44 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.7-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: 754717 Changes: cbmc (4.7-2) unstable; urgency=low . * Mark tests Pointer_Arithmetic12, Pointer_byte_extract{2,3,5} as KNOWNBUG due to incomplete big-endian support (Closes: #754717) Checksums-Sha1: ae1a5381a593cebea74bddcbd3be34c87bdb68d7 1746 cbmc_4.7-2.dsc 7c45122706c0f6e1074eeac9dc18e51a5ba31c24 9416 cbmc_4.7-2.debian.tar.xz a732915bd2cfdfee5e7913bc7fcee014c7b69297 2764146 cbmc_4.7-2_i386.deb Checksums-Sha256: b477e3f48540ea66fc4a01113a66d382b61f654d74c35450f5a13bb55e5c9131 1746 cbmc_4.7-2.dsc 493de14fa4c63a4c0c457d0e5ead8ba4eaa112d39b1c9b77eeb0282123736919 9416 cbmc_4.7-2.debian.tar.xz f7c380ea19bf0d4a30e12818378de90af6b518032bc249923d64421b7feec8ca 2764146 cbmc_4.7-2_i386.deb Files: 5e5826c22d04b50feb20baae8d2fa996 2764146 science extra cbmc_4.7-2_i386.deb 93b1fece0118d2bbe0aa77237f43293b 1746 science extra cbmc_4.7-2.dsc 6173e21fff657a7718b648d58efc2c63 9416 science extra cbmc_4.7-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJTxQ64AAoJEKjvEonjOGdBaf0QAILNpSaZq4E4BKBbybjCTQtP iuTmXxS5IWE0GaoSN1VUKjA/PqD7ENG8XieEIg4Rk/T8rHrhlW0/+iNpVY67YnrA V5iR9n/UaznQGmtL/uWfWUCuI/alQ4kHT3My/HbKqzO9pqD4gqacaYhbzJqWw1vJ ygxexp/WJciGD0Moaps7y6PoXzVlCq1c/BJWiRMGQeOb01+36p6IiBfjLfByX8/8 WjuOKVzLLqKXNz+97q4vGU+OvbUYSoepfiC+uAacncScjFadE4A6VCLeF68FcKmN Zxhs1Z80ZgLLnhmLG1euu53j7uRNQX2bYqXkK1lpMO9FAj1oe2dnuQjc9CN0C0AN pGzoSeS0pFT0E46NXXdMbXqAiHvW+2ge1rnOENjZz2j6pp20pXhoc6AcuFw4fmhH FBNh2I9clxYzzR6WjlkJCYdapIkG6eJjbSIR/E5j0X4lNWUxvQiltRZFLGnpWS1T Fsn6iKxwfPXph+EwOSqilt5D8NYJH4g78D+wBCpAaLb/33tGNdwPGEkCEOW1YvuH S1+9QAe4E9kJLnZb7lvwZDdRkzMQFq0WEtm2Cn2RL2pI+QXC3limWmx10uQoTUE2 FNR6ufTZsGZPsBIhoddF3PnDsUzNkeAlQDFIMfFNYijJIYpM04qPSWSztGqS1a3Y +zN+IdzQj1pClzr1az2+ =V9Y6 -----END PGP SIGNATURE-----
--- End Message ---
