Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ctest coin-config exim_fixdb gfal-rm git-restore-mtime sge_execd jfs_debugfs lxc-top igrep scotch_dgmap x2golistsessions_root btrfs-select-super foundry-parse fvwm-crystal.apps i.cca htntlm llvm-config pof4 genmakefile osgtexture3D qmail-local qwbfsmanager nsrancid rlpq rpld-next shishi spacenavd atk6-redir6 getinstrs xjdic_sa