Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

antiword.bin cas simfsm gitosis-run-hook editdiff co rdist recoll ardour2 vfgrep cdck doxyindexer emesene r.average r.drain wwwifetch idevicescreenshot avenger.deliver ng-latin nova-api serialver pksetmask rlmgr qdbus usearch61 rt-email-dashboards-4 dnsmadeeasy.rb runlim smp_ena_dis_zoning teem-mrender