Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objdump cracker plasmapkg sensors-detect mpitests-osu_alltoall mutt vsplitmodule proxy-texture generate_vdW_kernel_table.x_openmpi genomewise akonadi_googledata_resource autoradioctrl vcf2birthday cyr_userseen jpegtoexr faust2paqt m.cogo grub-mount unique maptransfer-server mkzeoinst runzeo nsrancid remake tth-hash songwrite splash sqitch vbutil_what_keys ctext2pgm