Accepted cbmc 4.0-2 (source amd64)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 15 Jun 2011 10:40:38 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.0-2
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
Changes: 
 cbmc (4.0-2) unstable; urgency=low
 .
   * Added missing freebsd kernel define
   * Enable parallel builds
Checksums-Sha1: 
 a2e014571222757d7474b537d77ef12f02f3a413 1025 cbmc_4.0-2.dsc
 0fbf329ce6154ea7c9e0cfe427ce171ab146d99d 4703 cbmc_4.0-2.debian.tar.gz
 52a704c8919b29e25a6ab9fd718b50a22e2bf10e 4515936 cbmc_4.0-2_amd64.deb
Checksums-Sha256: 
 0b970902f3b5498fefc43c7084a92c1cecef616b6b9531b3ceb94742bd52138a 1025 cbmc_4.0-2.dsc
 cad32fb5b628c1cf12439a6a38f268396f951dbba1459f013dfdb17a091efe4b 4703 cbmc_4.0-2.debian.tar.gz
 676b62e93c8def55bf35e227d798a8912f205a95d62f1335e85a88a870c96452 4515936 cbmc_4.0-2_amd64.deb
Files: 
 5bc791a53cc2a9a3d54cc68f7b3004b2 1025 science extra cbmc_4.0-2.dsc
 234ea6c3c392e3bce94e7e2412b6c7f6 4703 science extra cbmc_4.0-2.debian.tar.gz
 c8392277050d3c8fed6199cc7a3ea43e 4515936 science extra cbmc_4.0-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk34dOoACgkQvx6dH3bVKsSBkQCdHdfol1TFqC1/3/QwxM1xP/ro
yE8AoO55khm/Bact70Mt64eSQ44J9NdX
=cLeF
-----END PGP SIGNATURE-----


Accepted:
cbmc_4.0-2.debian.tar.gz
  to main/c/cbmc/cbmc_4.0-2.debian.tar.gz
cbmc_4.0-2.dsc
  to main/c/cbmc/cbmc_4.0-2.dsc
cbmc_4.0-2_amd64.deb
  to main/c/cbmc/cbmc_4.0-2_amd64.deb