Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cf-runagent dd cpufreq-aperf dfu-programmer euca-reboot-instances fbrun fusioninventory-esx gdparttopng gifcolor iconvconfig.i686 bgolly korgac xc-info arb_sync-repeat-wait mailstat pyflakes wbemecn archive_server debcheckout expect_xpstat grompp xhotswap sendinpaths ebug glxheads neobio pumpa pytest3 xeno xx-svn-resolve