Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ar mn10300-linux-gnu-addr2line seq db_dump dvipdf intel_l3_parity paw++.dynamic ib_write_bw_postlist pscp RBabelfishService.py squidclient chsh yacc.py apertium-validate-interchunk col5 codeaster-gui elki-cli fbstat opj_jpip_addxml loki servertool dnainvar qmail-pw2u recinf ree mlcat http@ wmtemp wordnet tv_grab_uk_rt