Request #23765 has been rejected by ainola [1]: Given the login/paywall required to acquire the .rpm, this is sensible. Also, it's clearly marked as a Brazilian package. [1] https://aur.archlinux.org/account/ainola/