[aur-requests] [PRQ#33957] Orphan Request for idris-git
11 Apr
2022
11 Apr
'22
5:16 a.m.
MarsSeed [1] filed an orphan request for idris-git [2]: Not maintained - flagged for fix service request since 2017-02-27. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/idris-git/
11 Apr
11 Apr
5:16 a.m.
New subject: [aur-requests] [PRQ#33957] Orphan Request for idris-git Accepted
Request #33957 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/
950
Age (days ago)
950
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org