Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

askbot.wsgi ceph_test_rados_api_watch_notify distccmon-text dnssec-system-tray euca-describe-internet-gateways mgd77magref ascompose nspr-config pod2test arb_framebuffer_srgb-pushpop twprint mod_python gnome-help aoss huntd dict dtc_change_bsd_kernel shuffleseq fatrace jv-convert-4.8 tunes2pod indi_intelliscope kdc2jpeg ubirename core_diversity_analyses.py sdop latex2man uim-pref-gtk3 veusz_listen wmiir