[aur-requests] [PRQ#5371] Deletion Request for idris
4 May
2016
4 May
'16
8:38 a.m.
Rufflewind [1] filed a deletion request for idris [2]: In Community already [1] https://aur.archlinux.org/account/Rufflewind/ [2] https://aur.archlinux.org/pkgbase/idris/
4 May
4 May
4:20 p.m.
New subject: [aur-requests] [PRQ#5371] Request Accepted
Request #5371 has been accepted by felixonmars [1]: The user felixonmars deleted the package. [1] https://aur.archlinux.org/account/felixonmars/
3117
Age (days ago)
3117
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org