[aur-requests] [PRQ#5353] Deletion Request for idris
2 May
2016
2 May
'16
5:31 p.m.
Alad [1] filed a deletion request for idris [2]: In community: https://www.archlinux.org/packages/community/x86_64/idris/ [1] https://aur.archlinux.org/account/Alad/ [2] https://aur.archlinux.org/pkgbase/idris/
4 May
4 May
4:20 p.m.
New subject: [aur-requests] [PRQ#5353] Request Accepted
Request #5353 has been accepted by felixonmars [1]. [1] https://aur.archlinux.org/account/felixonmars/
2925
Age (days ago)
2927
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org