[aur-requests] [PRQ#5353] Deletion Request for idris

[notify at aur.archlinux.org]

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/