Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apcupsd dirac_UYVYtoYUV422 euca-register fence_vmware grid-proxy-destroy v.voronoi gtkdoc-check ksh93 tab2graph gen-texsubimage showchar adsl-setup changetrack eric5_pluginrepository freefoam-gmshToFoam x86_64-w64-mingw32-gcc-win32 gfxboot-font iog jack_mclk_dump krb5-sync le hm-sync remoterepl mpeg3dump mtasc combineMUMs dumppdf trang ics-to-rss sethead