[PRQ#61022] Orphan Request for cvc5 Rejected

[notify]

Request #61022 has been Rejected by CyanoKobalamyne [1].

[1] https://aur.archlinux.org/account/CyanoKobalamyne/