Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bgltags corosync-fplay cups-config man4x gdalbuildvrt gnumeric-1.10.10 r.random c++ akonadi_birthdays_resource lrelease spawn-fcgi tm_lush 6to4test.sh get-iab i586-linux-gnu-objdump fprobe gmpc-remote-stream lspgpot jing latexmlpost countperl licq lingot lyskomd eventgenerator upslog oggJoin vtep-ctl csscombine_py3 uwsgi_php