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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/trusty/+source/cbmc/4.5-2ubuntu2
-----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 <[email protected]> Changed-By: Adam Conrad <[email protected]> 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 <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJu01EACgkQvjztR8bOoMkRzwCglyaTC0lIRMvCi+O5o+s/kfLT u6UAoMaanP6SbdNO36dfoOXn/g6OvAjq =BYNi -----END PGP SIGNATURE-----
-- Trusty-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes
