Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gamt cups-config thin_check resperf-report g_rotacf_d ipa-replica-install htcopy shield-trigger-iptables pmlogconf-setup smem apertium-transfer wtdist jstest-gtk njb-tracks lzip.lzd mia-2dsegment-fuzzyw mia-2dseriestovolume mzclient mark normalize-audio jrunscript reglookup-recover sipwitch vdb-passwd xpl2gpl treeline odt2sxw nedpos wput visgrep