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