Request #15610 has been rejected by polyzen [1]: Deleting the package does not delete the repo. If you want us to rewrite the history of the repo, this can be done. [1] https://aur.archlinux.org/account/polyzen/