[PRQ#64507] Orphan Request for coq-quickchick-git Accepted

20 Oct 2024


      Request #64507 has been Accepted by MarsSeed [1].

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

notify＠aur.archlinux.org