thenumeralone [1] filed a deletion request for idris2-api-git [2]: The idris2-git package now includes what would have been installed by this package.
[1] https://aur.archlinux.org/account/thenumeralone/ [2] https://aur.archlinux.org/pkgbase/idris2-api-git/
