Svenstaro [1] filed a deletion request for bingrep [2]: This is super dead upstream for 7 years now. [1] https://aur.archlinux.org/account/Svenstaro/ [2] https://aur.archlinux.org/pkgbase/bingrep/