Hi,

No need to apologize. I just filed the request because I thought the packages were abandoned, but it seems that you are around, so I'll just wait until you update the package. :) I'm also willing to serve as co-maintainer if needed.

All the best,

Áron

Julian Pollinger <julian@pollinger.dev> ezt írta (időpont: 2024. jún. 19., Sze 13:49):

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/