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

Hello, 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. Best regards, gnlrdrvo [1] https://lists.archlinux.org/archives/list/aur-general@lists.archlinux.org/me... [2] For examples, please refer to the packages listed in "Required by" section: https://aur.archlinux.org/packages/android-configure?all_reqs=1#pkgreqs