Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ipmiping alpha-linux-gnu-gcc gdbserver gloox-config grib_dump hpftodit bmptopnm pcl_openni_viewer pomdump plpa-taskset rsnapshot mustache scapy gnatpp conjugue-ISO-8859-1 blister.o objfgelm.o orbdes gimagereader gpspipe zgrep vboxmail klettres ideviceimagemounter theora_player_example newbiedoc argv0 umockdev-run unifontksx addpix