Re: Are those android-$arch-$package packages allowed in AUR?