New issue by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/issues/38090

Description:
### Package name

agda

### Package homepage

https://github.com/agda/agda

### Description

Agda is a dependently typed programming language / interactive theorem prover.

### Does the requested package meet the quality requirements?

System, Compiled

### Is the requested package released?

Yes