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

[notify]

Request #66803 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for idris-sdl-git.

[1] https://aur.archlinux.org/account/Muflone/