Hi everyone, First of all sorry; the request to update the dependency fell into a very stressful time, and to be honest I completely forgot about it. Which is not meant as an excuse and more of an explanation.
I will update the dependency as quickly as I can; hopefully tomorrow, otherwise on Friday. If you still want to mark the package as orphaned I can also accept that. Also, if someone wants to Co-Maintain the package I would be open to that too. On 19 June 2024 01:11:37 CEST, [email protected] wrote: >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/
