Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dzedit-g77 kdesvnaskpass krb5-config mpichversion parrot_nci_thunk_gen stty.pl arb_vertex_program-getlocal4-errors clearbuffer-display-lists glx-oml-sync-control-waitformsc integer-errors qtdemo lrelease-qt4 rpmgraph telinit watchdog ace_gperf msp430-c++filt courieresmtpd patindex guile-1.8 ipsvd-cdb ladr_to_tptp txt2las liblas-config muddleftpd oarmonitor powerd dgord-int32 plaympeg MKASC2BK