Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dfbtest_mirror fts-rest-transfer-list getconf gtkdoc-scan gunzip mpitests-osu_acc_latency ocamlmktop ysearch-gfortran roots.exe rspec sg_dd bacula-console-qt bp_classify_hits_kingdom cgminer-api courier update-cracklib dcmpschk mpgprobe ettercap-pkexec imstore ffmvforce dune-mpi-config Mono.XBuild.Tasks.dll hose pcb2gcode pecomato pt-query-digest obex_send ristretto ssake