[aur-requests] [PRQ#33957] Orphan Request for idris-git

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/