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/