There is an updated pull request by zhengqunkoo against master on the void-packages repository

https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522

New package: idris-1.3.2
Regarding quality requirements: [`Idris2`](https://github.com/edwinb/Idris2), when packaged, will require `Idris`.

Unfortunately, building `Idris` via `haskell-stack` excludes the `Builtins` and `Prelude` modules, which means no REPL and no compilation of `Idris2` is possible.

A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached