Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euca-describe-image-attribute kdb5_util asscale encodedv ppmtopuzz ocamldep.opt oiiotool pekwm msgf2pin f77_f2c wbemain fig2ps2tex ipcs bareftp powerpc-linux-gnu-ld bsd-from dgate diodls drbl-all-service epiphany-browser fiu-ctrl event2vrule normalize-mp3 pcb2gcode pg_buildext designer sff-load.2 synaptic insn_write xyscan