Tids [1] filed a deletion request for pokemon-revolution-online [2]: new "real" name now is pokemon-revolution-online-bin (with a -bin, cause we only have the binary version, no source) this one can be deleted [1] https://aur.archlinux.org/account/Tids/ [2] https://aur.archlinux.org/pkgbase/pokemon-revolution-online/