Accepted cbmc 4.1-1.2 (source amd64)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 20 May 2012 07:55:28 +0200
Source: cbmc
Binary: cbmc
Architecture: source amd64
Version: 4.1-1.2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Salvatore Bonaccorso <carnil@debian.org>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Closes: 673579
Changes: 
 cbmc (4.1-1.2) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Update fix-FTBFS-with-gcc-4.7.patch patch.
     Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
     Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch.
     (Closes: #673579)
Checksums-Sha1: 
 22b9d2414592a55caae5f743bf98cf866c5212af 1706 cbmc_4.1-1.2.dsc
 46132b70a2769ce1bbf1d9689031b424bb7d905c 4930 cbmc_4.1-1.2.debian.tar.gz
 c33af1335c4862aaa4ff7dc7033cb9325c768123 4559612 cbmc_4.1-1.2_amd64.deb
Checksums-Sha256: 
 0cf1af0b3c83caf0fabf641ad2c842e8e3f9dc40a79e669c34919015b49754fe 1706 cbmc_4.1-1.2.dsc
 2304fdc35cfecc49cb1ea0dc7ded065f16de29d51805e9468d023541cef14939 4930 cbmc_4.1-1.2.debian.tar.gz
 08e7f88b3c7ebd0591b81ae2daa926ae27852f5203073aa29f2dfeb64e9391f3 4559612 cbmc_4.1-1.2_amd64.deb
Files: 
 984dc73cdbc205393d53217fb3e142bb 1706 science extra cbmc_4.1-1.2.dsc
 03c9c2f0b1ad15b559ab70168ae9cb50 4930 science extra cbmc_4.1-1.2.debian.tar.gz
 84176c09d63c602023b9919b19e0f251 4559612 science extra cbmc_4.1-1.2_amd64.deb

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

iQIcBAEBCAAGBQJPuIi+AAoJEHidbwV/2GP+CMUQAKvMf5eKHJrpKWMpMbfnMxuQ
B8PwmBVEbAPK3s1s/1Cd4hXleMxVYgoAuwCtfksMHZ8Vrq4dzctqXzMT3Ukzrl52
Bmvo4N2GNPyeQwfNMGKieQEEItFhqkBLR/2oqyzx3eucV2CNTgBhlSCzA5rVtexv
Kyx27CRA+uMQa/OmkC1FT6lMj1pRJs2lvpckJmryoGarJ/ELEhYUWOjalPeSCXSg
VLdD7AO/14PgK2awrIOhpX7GPz2zFw21zyxT4l9VnEiHXwFERf/vlqR80iAkrO3X
33Wt5X/fQzmuD+nGI4/LAA2AXyvYJOEa+Ru+QPyFZU9KNWyHL1HivTI7FbFTcUC1
3u3H48qIBLUE8AweCV+TTWbJdm6mEnXGP90twEvv18QzK1sNJ3ZD3UNYGpk2ZRoh
xj97HwBFLbeeD+utNaJHL82PdufzCPXWKv6z8uTb6+Azf5YhR0Ezy6zw4L1RKNv5
ngQPML9jxAuXHIlTw0L0g9HyscCA/GIsTI6UFm48Rh9yM4JbJEEFmEI+UNmj/Sk0
J72qAUCKdTidoXzGhvMKLEB2pSMZg08EoJFonHizy0q+j4G2ctmDOwogKwX6Ss60
Eu8ygLCktg3Hi/HXUuvdoUBvKAykKwFrxO84ZxLQhuURrrdTdnHKh53Ua7QYRkOQ
7qDUErgXN5AXlmAXoV5V
=SdZI
-----END PGP SIGNATURE-----


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