Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda