[PRQ#40285] Orphan Request for emacs-idris-mode-git

yochananmarqos [1] filed an orphan request for emacs-idris-mode-git [2]: Has been flagged out of date for several months. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/emacs-idris-mode-git/