MarsSeed [1] filed an orphan request for idris-git [2]: Not maintained - flagged for fix service request since 2017-02-27. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/idris-git/