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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/raring/+source/cbmc/4.2-6ubuntu2
-----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 <[email protected]> Changed-By: Adam Conrad <[email protected]> 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 <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAlCbOiEACgkQvjztR8bOoMnQpQCeNnjiBve8KfdVx9ElO+ImCWE3 ocIAn0kAMblhyCaNATD+0+Q5V2iCkko2 =JV1z -----END PGP SIGNATURE-----
-- Raring-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/raring-changes
