Вот ссылка на 32-битный NDK r10b Builder
http://dl.google.com/android/ndk/android-ndk32-r10b-darwin-x86_64.tar.bz2
Вот ссылка на 64-битный NDK r10b Builder
http://dl.google.com/android/ndk/android-ndk32-r10b-darwin-x86_64.tar.bz2
Оба компоновщика NDK кажутся идентичными, и оба отмечены как r10b (64-разрядная версия) в RELEASE.TXT.
Итак, я загружаю сборщики NDK из неправильного места?
Заранее спасибо !