tianrui-wei [1] filed an orphan request for verible-bin [2]: There hasn't been any response from the maintainer for 2 months after this package being flagged out of date [1] https://aur.archlinux.org/account/tianrui-wei/ [2] https://aur.archlinux.org/pkgbase/verible-bin/