Your message dated Sat, 14 May 2011 12:32:10 +0000 with message-id <e1qle0w-0000if...@franck.debian.org> and subject line Bug#626635: fixed in cbmc 3.9+r41-1 has caused the Debian Bug report #626635, regarding ITP: cbmc -- bounded model checker for C and C++ programs 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.) -- 626635: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=626635 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: wnpp Severity: wishlist Owner: Michael Tautschnig <m...@debian.org> * Package name : cbmc Version : 3.9 Upstream Author : Daniel Kroening * URL : http://www.cprover.org/cbmc/ * License : 4-clause BSD Programming Lang: C++ Description : bounded model checker for C and C++ programs CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations. Best regards, MichaelpgpZSGxTc6csn.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 3.9+r41-1 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: cbmc_3.9+r41-1.debian.tar.gz to main/c/cbmc/cbmc_3.9+r41-1.debian.tar.gz cbmc_3.9+r41-1.dsc to main/c/cbmc/cbmc_3.9+r41-1.dsc cbmc_3.9+r41-1_amd64.deb to main/c/cbmc/cbmc_3.9+r41-1_amd64.deb cbmc_3.9+r41.orig.tar.gz to main/c/cbmc/cbmc_3.9+r41.orig.tar.gz 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 626...@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...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 13 May 2011 23:54:50 +0200 Source: cbmc Binary: cbmc Architecture: source amd64 Version: 3.9+r41-1 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: 626635 Changes: cbmc (3.9+r41-1) unstable; urgency=low . * Initial upload (closes: #626635) * Version 3.9 + all changes of SVN r41 Checksums-Sha1: 840c6e1900a960a1ea610557f2ab4951b8849125 1025 cbmc_3.9+r41-1.dsc 100e11a2eca71dfe1e0f78cacc7adb4a44507901 872672 cbmc_3.9+r41.orig.tar.gz dfe48c9169caf9c850eac4784a1805f53c0d7b74 4947 cbmc_3.9+r41-1.debian.tar.gz 25479fb73f56654a0a310c9cbf944bed2ac481fe 4588812 cbmc_3.9+r41-1_amd64.deb Checksums-Sha256: d3651587027363247046ff0f15d31a7eaadcb57256dd612d56552abb8f7eb925 1025 cbmc_3.9+r41-1.dsc 6358b1c39d39efa8de2d421381c7f364e461e6b2a7a52a73967e2082c01e74d5 872672 cbmc_3.9+r41.orig.tar.gz 87bc59645c5399e20fb1d733d27e24d5a21452a9fbfd82a59d6e6277dc1e05a0 4947 cbmc_3.9+r41-1.debian.tar.gz fac59f4fed332415c1e58f0d23d19d68f82fba3e8f74bb5548b0bf7d9721b982 4588812 cbmc_3.9+r41-1_amd64.deb Files: cbb7c0c1d02c1078ec04bd75d25ce05d 1025 science extra cbmc_3.9+r41-1.dsc e30bced5506079303c24bbe95380a489 872672 science extra cbmc_3.9+r41.orig.tar.gz e6bba33499d935230c9e315916e7cafe 4947 science extra cbmc_3.9+r41-1.debian.tar.gz a3671c5ad44454d3df17b63c1ef5708d 4588812 science extra cbmc_3.9+r41-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk3Nvt4ACgkQvx6dH3bVKsTLCQCdG3xqQlNRvnr5+mQtwM2HaGCh ENkAn2EAiHxCu+Fl95ghKzQm5EMX2SKT =32pp -----END PGP SIGNATURE-----
--- End Message ---