[PRQ#64507] Orphan Request for coq-quickchick-git
20 Oct
2024
20 Oct
'24
1:05 p.m.
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/
20 Oct
20 Oct
1:05 p.m.
New subject: [PRQ#64507] Orphan Request for coq-quickchick-git Accepted
Request #64507 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/
81
Age (days ago)
81
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org