Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-dump-oops bacula-dir.sqlite byobu-tmux dpm-updatespace mkroot v.outlier hca_self_test.ofed ng_vol eyuvtoppm wicked arb_draw_indirect-draw-arrays-instances pbo-teximage spline objdump glm jruby ldapdeleteuser io.pl audiotool lighttpd-disable-mod testMPEG1or2Splitter minirok tcptraceroute6 odfmeta rpld-next catalina.sh tsung_percentile.pl hexdraw MKBKV2H olsr_clear_database