Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dnssec-system-tray stored gnatgcc sm extend_dmalloc kctreemgr nasm yfrceta sctop-report dbcol sqback synergyc winepath xdvi nspostgres.so ctail cow-shell dbtoepub debian-edu-hwsetup gcc-4.8 xgps xtokid rtacct lamboot thesaurus2htmls mh_linkjar create-diff.sh erlang_count varmon xtrkcad