[PRQ#61022] Orphan Request for cvc5

CyanoKobalamyne [1] filed an orphan request for cvc5 [2]: Maintainer has not responded to request to update the dependencies for over a month. [1] https://aur.archlinux.org/account/CyanoKobalamyne/ [2] https://aur.archlinux.org/pkgbase/cvc5/