Accepted cbmc 3.9+r41-1 (source amd64)
-----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
Reply to: