[aur-requests] [PRQ#33957] Orphan Request for idris-git Accepted

11 Apr 2022


      Request #33957 has been Accepted by MarsSeed [1].

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

notify＠aur.archlinux.org