There is a new pull request by tsung-ju against master on the void-packages repository

https://github.com/tsung-ju/void-packages agda
https://github.com/void-linux/void-packages/pull/27187

New package: Agda-2.6.1.2


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