Hi
With reference to [1], are those android-$arch-$package packages
allowed in AUR? [2]
Packages in the AUR should be useful on Arch Linux, which is
currently an x86_64-only distribution.
It seems that those packages are for Android (not useful on Arch),
which may not meet the above requirement.
What packages are you referring to exactly?
Many android packages are runtime for the Android emulator run in Arch
Linux, not for Android. They are the systems the emulator will run.
Best regards
--
Muflone