MarsSeed [1] filed an orphan request for coq-quickchick-git [2]: Flagged for issues since 2022-07-13.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/coq-quickchick-git/
MarsSeed [1] filed an orphan request for coq-quickchick-git [2]: Flagged for issues since 2022-07-13.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/coq-quickchick-git/