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

New package: Agda-2.6.1.2
https://github.com/void-linux/void-packages/pull/27187

Description: