[PRQ#55530] Deletion Request for idris-git Accepted

28 Feb 2024

      Request #55530 has been Accepted by serebit [1]:

[Autogenerated] Accepted deletion for idris-git.

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

notify＠aur.archlinux.org