Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bannergrab bglprof bltk_calc cube-config ekiga hostapd_cli mysql_fix_privilege_tables idt pamstereogram pmdbg wakeup-latency-report cdffixtime dbfsd grep-aptavail gfxboot-font git-delete-branch gcc-4.2 kdc2jpeg dzil lpsconfcheck original afs-up osganalysis ploop jwt3 qemu-sparc32plus-static taud pscal bgp_xrl_shell_funcs.sh xtermset