Request #9035 has been rejected by Alad [1]: Other infinality packages are still in AUR, and no argument has been made as to why this package is "not needed". [1] https://aur.archlinux.org/account/Alad/