Accepted cbmc 4.0-4 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 22 Oct 2011 00:51:01 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.0-4
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: 643074
Changes:
cbmc (4.0-4) unstable; urgency=low
.
* Rename patches and update description to make dpkg-source happy
(closes: #643074)
Checksums-Sha1:
1854c4833f11c6e32f95acefb5b0c077afa2f05e 1064 cbmc_4.0-4.dsc
c44061a51c256705f3f2731b55552ee989dbe9c3 4883 cbmc_4.0-4.debian.tar.gz
c7e17f330bbafa2d3b13514ad9083955fc41b496 4543908 cbmc_4.0-4_i386.deb
Checksums-Sha256:
3df324e5c58c67402cbdf3842eb159c4baa900ca0fd4619b929822e05dc72977 1064 cbmc_4.0-4.dsc
a0fa513f65fe43fbf10fa2fc4cce437ebd713c4bdb6049f2faa5ce336ba850d5 4883 cbmc_4.0-4.debian.tar.gz
0f61cc1363771bb5796af4f1322ade7c189710e36986441e254e364da968abc9 4543908 cbmc_4.0-4_i386.deb
Files:
0539061ce9d60c9457c3e1c493db47bd 1064 science extra cbmc_4.0-4.dsc
b5ca5f9763a13b89f67b634a78c8316c 4883 science extra cbmc_4.0-4.debian.tar.gz
f15adf21f7c51adf3e409446e7a12e43 4543908 science extra cbmc_4.0-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk6jJM8ACgkQvx6dH3bVKsTSgACgm+OqnUbUr3P71oF0W6D64koq
3a0AoMl3AE61eeW97PNQ7FKKYUrD7k3G
=/TE1
-----END PGP SIGNATURE-----
Accepted:
cbmc_4.0-4.debian.tar.gz
to main/c/cbmc/cbmc_4.0-4.debian.tar.gz
cbmc_4.0-4.dsc
to main/c/cbmc/cbmc_4.0-4.dsc
cbmc_4.0-4_i386.deb
to main/c/cbmc/cbmc_4.0-4_i386.deb
Reply to: