[ubuntu/raring-proposed] cbmc 4.2-6ubuntu2 (Accepted)

[Adam Conrad]

cbmc (4.2-6ubuntu2) raring; urgency=low

  * Fix preprocessing on armhf by passing through the __ARM_PCS_VFP define.

Date: Wed, 07 Nov 2012 21:15:17 -0700
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/raring/+source/cbmc/4.2-6ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 07 Nov 2012 21:15:17 -0700
Source: cbmc
Binary: cbmc
Architecture: source
Version: 4.2-6ubuntu2
Distribution: raring
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Description: 
 cbmc       - bounded model checker for C and C++ programs
Changes: 
 cbmc (4.2-6ubuntu2) raring; urgency=low
 .
   * Fix preprocessing on armhf by passing through the __ARM_PCS_VFP define.
Checksums-Sha1: 
 a975b5e6a184f412a00cbef698ea826f3e06caef 1168 cbmc_4.2-6ubuntu2.dsc
 b732dd53d054ec9d820c4215963abc097ec9a818 7589 cbmc_4.2-6ubuntu2.debian.tar.gz
Checksums-Sha256: 
 0329e9853498532b33f1c691d3d070f4a3a2ca05ebb281ceb3d84bdeb11c97d8 1168 cbmc_4.2-6ubuntu2.dsc
 95adc9c4a5198e6f7fb732f35d5f18ec8e59c0d731567cf2d0526d1977cd90b6 7589 cbmc_4.2-6ubuntu2.debian.tar.gz
Files: 
 295692174c9be608589c0281f93a5843 1168 science extra cbmc_4.2-6ubuntu2.dsc
 a3f3538e2584793ad3a81cec962ea225 7589 science extra cbmc_4.2-6ubuntu2.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt at debian.org>

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

iEYEARECAAYFAlCbOiEACgkQvjztR8bOoMnQpQCeNnjiBve8KfdVx9ElO+ImCWE3
ocIAn0kAMblhyCaNATD+0+Q5V2iCkko2
=JV1z
-----END PGP SIGNATURE-----