[PRQ#61022] Orphan Request for cvc5

[notify]

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/