If I don't remember, please report a feature request on https://github.com/tadfisher/android-nixpkgs so we can get this packaged, at least in my SDK repo.
Would also be cool if we could get Android Studio for Platform running as well, I'm guessing it shouldn't deviate too much from regular Android Studio.