[PRQ#66803] Deletion Request for idris-sdl-git

MarsSeed [1] filed a deletion request for idris-sdl-git [2]: Dead package from 2015; upstream is EOL since 2017. [a] [a]: https://github.com/edwinb/SDL-idris [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/idris-sdl-git/