Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cabal euca-create-internet-gateway man2 git-shell gloox-config h5redeploy gencmn lxc-start my_print_defaults ola_streaming_client pw2wannier90.x_openmpi rsync sqlgrey-logstats.pl psw frm_xfrd ykchalresp unicode strip save2gdf ttunique dlume freefoam-settling gdm3 odffindbasic mapview ovs-pki pcl_grid_min avg_showfont settings3.txt roarsin