Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ia64-linux-gnu-objdump x86_64-linux-gnu-size typer flow-log2rrd gdm-binary gifasm guilt-patchbomb kpasswd ktraderclient geotifcp mpitests-IMB-MPI1 glx-swap-singlebuffer bugzilla dist.x_mpich tomcat-tool-wrapper pswdb six-script gjarsigner-4.9 hxunxmlns skel_cat cal3d_converter mhwaveedit amd64-mingw32msvc-windmc mopidyctl widget tk_scsiformat asplash ftwhich wdel gnuattach.xemacs21