CodingCellist [1] filed an orphan request for idris2-git [2]: The idris2-git package has been out of date for over a year, falling behind the [idris2 release package](https://aur.archlinux.org/packages/idris2) which I currently (co-)maintain. Unfortunately, [mb64 has been MIA for quite some time](https://aur.archlinux.org/packages/idris2-git#comment-884682), and so I would like to adopt this package as I already maintain the release version. [1] https://aur.archlinux.org/account/CodingCellist/ [2] https://aur.archlinux.org/pkgbase/idris2-git/