Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cris-linux-gnu-objdump dfbtest_sync fastaexplode gofmt r.li.padrange minipro-query-db mpitests-osu_latency smbcacls exp_count fake_mld26 tomcat-tool-wrapper AClock asql cream chk_cyrus seqnr featcopy evtest fastx_nucleotide_distribution_graph.sh hwloc-patch chipcard-config trhsx spamalyze nxcmd mpirun_lam nullmailer-inject rmid seek_script pecomato planetsplitter