Accepted cbmc 4.4-2 (source i386)

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

Format: 1.8
Date: Wed, 10 Jul 2013 22:56:58 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.4-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.4-2) unstable; urgency=low
 .
   * armhf requires __ARM_PCS_VFP to be defined
Checksums-Sha1: 
 3334e6d4877092252c0da8328749408b2245393e 1741 cbmc_4.4-2.dsc
 725c031eff901a028abd8c9bcf2f7481a7660abf 6230 cbmc_4.4-2.debian.tar.gz
 af150bf68d1a042a1ce99dbcf12f32ed2143b048 5594276 cbmc_4.4-2_i386.deb
Checksums-Sha256: 
 fbc9d785db96f5cc691a6733b47afe1313e46eb0dc698591957e66756d7be4e1 1741 cbmc_4.4-2.dsc
 a1ab9ca11f3926fa5a131c60b128a9a82fe76f02094ea77c4b7c3f5231b57413 6230 cbmc_4.4-2.debian.tar.gz
 574a70a7fcc8c7caf5bec06398fe76e4f997bf2638e328c3c99366a82e9c919d 5594276 cbmc_4.4-2_i386.deb
Files: 
 683ef6f690f69e48f5b242f90dc4494c 1741 science extra cbmc_4.4-2.dsc
 73b5223feb64ca4cc938f893a1869e38 6230 science extra cbmc_4.4-2.debian.tar.gz
 a57274ac07714e95dd297c3719382db7 5594276 science extra cbmc_4.4-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJR3mNQAAoJEKjvEonjOGdBE/IP+gPClOM2gl2glVnkHyiOU8BD
/O228QkzEx7DOM9W0y6QixZlV7SmqFKXf4jA/VahpVNIjZUcQIGGZ7Suvism7Qfx
8jywA8CQI2d5TZyv4zsXJjlzXmfnXqIS08TedKPGvMyQ5EtGgkjeuoJXw051fIug
5O+w0lyW8xWPDhU22Ui5Cqqgus5o9+5fM6stKNzP5ARnFx7aRFtMwMIw3dyATmkU
C6QCRGw6qI8UKDDKD/7wvIPHXqMLUeTiDQKN+77ml13h/Fkmpr00q9RsWns9gZnR
jx3o37PnQXlAZb2XcL26dcI5D4Pfuw8/KjUO1+NssAL3SlXkHo94bbqYCdyUUU2q
+UcaHEAl4ULCVXpUXSm3jHP843NTGkhnmduWs5y+NdYcm4mdPUGRcu34D6H1Q1Jv
GlLo5pZA0b3gU87YuwTbQqyHNNuc1Ps6BQscgtXUMT5QXhl468ryCLRVckGI2x2v
1CsyyR7xyiSEnDC6dcAJONOthqZMYN+cbTc2WH3N8vdS/zNvn0xTPAJ5KscyMsQk
danulNyVmMlt1p2njFoHhXV7tJCICK6NfCkDapYo5AwZwbWqXyEBmCvE6NstXR1d
GQosGPSb37089oS11lRLHtz7GuvFGpCjAGHCk2tBmG54yQ8G9RQV/T6TmIuyMlBt
dFaguw5Du/yvJZB1j+P3
=TKTh
-----END PGP SIGNATURE-----