a821 [1] filed a deletion request for cvc4-git [2]: Orphan, two votes, broken sources, last comment in 2018. Upstream has been superseded by cvc5 [0] available in the AUR. Also, the github repository redirects to https://github.com/cvc5/cvc5, so this should be resubmitted as cvc5-git (which is not available however). [0] https://cvc4.github.io/ [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/cvc4-git/