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/