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. 

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