Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as toc2cue clamd-status.sh memusagestat gnustep-tests convcal geqn jython mpicc bestups snmpkey arb_texture_multisample-texstate sdparm dvibook advzip amiga-fdisk mips64el-linux-gnuabi64-nm cgnsversion dfont2res d.colors photolayoutseditor grepmidi osgautotransform spmd rdfs2dot mkfs.reiser4 sb2-qemu-gdbserver-prepare srf-load travis valadoc