Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

multielasticdump trend1d d.menu transcheck mdump2 mongoose mpitests-osu_reduce qmleasing assistant_adp pppoe-connect seqretsetall gsm0710muxd avconv mpichversion lxc-test-startone lxinput medusa morseexec ubimkvol topcube dnie-tool popcon-stat.pl qmail-pw2u qtscrob tntlogin rdup-up remuco-audacious raw2wav wapiti gwhy-bin