[PRQ#40023] Orphan Request for idris2-git Accepted

26 Feb 2023

      Request #40023 has been Accepted by muflone [1]:

[Autogenerated] Accepted orphan for idris2-git.

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

notify＠aur.archlinux.org