orhun [1] filed a deletion request for cool [2]: It's not even a repository. I was not aware what I was doing for sure. Might be deleted. [1] https://aur.archlinux.org/account/orhun/ [2] https://aur.archlinux.org/pkgbase/cool/