Hi, As there is no strong consensus on what to do with Android development tools then I am going to leave the situation as-is. Arch users will keep either installing the packages using Android installer or by AUR packages. I am going to move packages android-tool and android-udev to [community]. These are small packages that many people find useful.
