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, notify@aur.archlinux.org 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/