toshi_pp [1] filed a deletion request for verible-git [2]: The upstream has been changed to https://github.com/chipsalliance/verible, which is maintained by another package verible, so I want to remove it.
[1] https://aur.archlinux.org/account/toshi_pp/ [2] https://aur.archlinux.org/pkgbase/verible-git/
