Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objdump bodhi-tagcheck rfdf gdal_contour mahjongg g_nmtraj_d lxc-wait crm_standby depthrange-clear rndr pabrowse rb-site msgimport.sh routino-filedumper-slim task autoconf2.64 bootpgw glsweep galax-run htags gpiv_flipx lwt-toplevel mysql-schema-diff mgp2ps mipe2fas nxdir rpmspec amk_fft2-int64 smp_zone_lock wmmatrix