Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

rndc-confgen dtck gcj mgd77togmt wmf2gd ltspfs monop handlebars sdcv qsig argonaut-repository objdump connman-ui-gtk drbl-client-service water expeyes v.to.rast heimdall pullnews jack_mclk_dump mpicc.lam nxcmd llvm-dwarfdump mate-network-properties tex2eps splitpatch subdownloader suck udevil viva