It turns out that the approach in google-android-installers is not maintainable going forward, so we need to split out each source package from google-android-installers into its own source package. So we'll need to remove google-android-ndk-installer from google-android-installers. We can leave the rest in google-android-installers as is for stretch.
Also, only the source package of google-android-installers is 1472023576, the google-android-ndk-installer binary package produced by it has a binary package version of 12.b+1.
