-----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 <mt@debian.org> Changed-By: Michael Tautschnig <mt@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----- Accepted: 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
