事情は変わりました
2016年現在では、公式ページにRevision Historyが追加されており、過去のリビジョンのNDKを普通に入手できます。
文脈
cocos2d-x にて Androidで動作を確認するため、 NDK を入手する必要があるのだが、最新のバージョンの NDK（記述している時点で、r10c）だと具合が悪いので、過去のリビジョンの NDK が欲しい（記述しいてる時点で、r9d）。
問題
公式ページから入手しようとしても Downloads に掲載されているテーブルのリンクが最新のもの（記述している時点で、android-ndk-r10c-darwin-x86_64.bin）しか存在せず、所望の NDK が手に入らない。涙目。
解決方法
ダウンロードリンクの URI を直接所望のリビジョンで書き換えることで、 dl.google.com からダウンドロードできる。例えば下記のようにすれば、r9d の NDK を入手することができる。
変更前
http://dl.google.com/android/ndk/android-ndk-r10c-darwin-x86_64.bin
変更後
http://dl.google.com/android/ndk/android-ndk-r9d-darwin-x86.tar.bz2
(※ bin 形式では落とせないので、リビジョンだけでなく tar.bz2 に変えています。)