Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ranlib c6x-linux-gnu-size dumpRumorMill dbmail-export dislocker-file ktuberling kdeinit_wrapper x86_64-w64-mingw32-objcopy mlmmj-receive ilasm munilist f77_f2c sosreport sa-compile usn-tombstone-cleanup MonitorWharf bist parse_apt_url_get_rpm.sh megamerger d.menu hugin_stitch_project lpc21isp WigeoN camp.py perl5.20.2 cking_suite redshiftautostart tf5 twclock xy2sky