Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objcopy ar burp_ca lsdic euare-instanceprofilecreate festival_server_control toast pmstore arb_texture_multisample-teximage-2d-multisample reprocmd typespeed uml_mount i586-linux-gnu-ld.gold dpatch-convert-diffgz fp-facilitator gmobilemedia gmock_gen gsmpb ipset ladish_control mprandomwalk assistant rrdinfo umax_pp tqs starpkg sra_to_solid DBImporter update-fonts-scale svn-foreign