Ubuntu
cbmc package

Branches for Utopic

Name Status Last Modified Last Commit
lp:ubuntu/utopic/cbmc 2 Mature 2014-04-26 09:38:36 UTC
16. arm64-aarch64: Use __aarch64__ on arm...

Author: Adam Conrad
Revision Date: 2013-10-28 12:45:20 UTC

arm64-aarch64: Use __aarch64__ on arm64, not __arm64__ or __arm__
1 → 1 of 1 result First • Previous • Next • Last