[ubuntu/trusty-proposed] cbmc 4.5-2ubuntu2 (Accepted)

[Adam Conrad]

cbmc (4.5-2ubuntu2) trusty; urgency=low

  * arm64-aarch64: Use __aarch64__ on arm64, not __arm64__ or __arm__

Date: Mon, 28 Oct 2013 12:45:20 -0600
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/trusty/+source/cbmc/4.5-2ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 28 Oct 2013 12:45:20 -0600
Source: cbmc
Binary: cbmc
Architecture: source
Version: 4.5-2ubuntu2
Distribution: trusty
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.5-2ubuntu2) trusty; urgency=low
 .
   * arm64-aarch64: Use __aarch64__ on arm64, not __arm64__ or __arm__
Checksums-Sha1: 
 f2ad96b193dd3451bf9e5ec564208494d2ac63eb 1168 cbmc_4.5-2ubuntu2.dsc
 f271cf7c531063121a04f2463576c1cc868a420e 6472 cbmc_4.5-2ubuntu2.debian.tar.gz
Checksums-Sha256: 
 9d306b3acbd18fffe7773f21089fbc888826f0c6d99a3d13d57aefcc0970dbf6 1168 cbmc_4.5-2ubuntu2.dsc
 ecc0dd57aaf25647fc46ae61e0a85077f1c74727771a300e0435b05e9726fb07 6472 cbmc_4.5-2ubuntu2.debian.tar.gz
Files: 
 304810fb5497a3c0286feb9473d9dba1 1168 science extra cbmc_4.5-2ubuntu2.dsc
 56b03375876956b15a0ff6a834c63d8f 6472 science extra cbmc_4.5-2ubuntu2.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt at debian.org>

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

iEYEARECAAYFAlJu01EACgkQvjztR8bOoMkRzwCglyaTC0lIRMvCi+O5o+s/kfLT
u6UAoMaanP6SbdNO36dfoOXn/g6OvAjq
=BYNi
-----END PGP SIGNATURE-----