Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

tr eggdrop enchant euscale-delete-launch-config faked isovfy geoclue-test-gui gio-querymodules-32 r3.mapcalc typetest i2cget ulimit4.sh pnmtopng rosinstall mce-inject clc_synchronize.hyb frm_admin SeqDist clang-3.5 dconf dmitry freefoam-shallowWater rxrx localc mkelfImage nfct qmail-queue sludge-compiler 2ndscore vbregion