Seas0 [1] filed a request to merge verible-git [2] into verible [3]: Duplicated packages, providing same thing.
[1] https://aur.archlinux.org/account/Seas0/ [2] https://aur.archlinux.org/pkgbase/verible-git/ [3] https://aur.archlinux.org/pkgbase/verible/
