Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

monmaptool glite-lb-check_version.pl lfc-rmgrpmap iwpmd readpst dshbak pstex2eps silas.mpi tuned-adm xawtv xfsmdiag klogd cdfmoc dget supermatcher fbx-playlist GENtle x86_64-w64-mingw32-gnatbind-win32 gvpectrl iconx test_multi.py qemu-sh4eb map2rmap tntrancid rebuildd-init-build-system sdranlib mfplain pdfatfi TextExporter vorbisgain