There's a closed pull request on the void-packages repository

New package: idris-1.3.2
https://github.com/void-linux/void-packages/pull/14522

Description:
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.