vyachkonovalov [1] filed a deletion request for redis-desktop-manager- bin [2]: It's old, the new deb version isn't free. [1] https://aur.archlinux.org/account/vyachkonovalov/ [2] https://aur.archlinux.org/pkgbase/redis-desktop-manager-bin/