Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arptables ld ar vgs clone_member ng_vol imgtoppm arb_sample_shading-builtin-gl-sample-mask tkstool pure-quotacheck voms-proxy-init2 xfce4-popup-applicationsmenu xdpr bnd carmetal cfenvd usrp_flex_band editconf_d sha384 hp-config_usb_printer indi_lx200autostar live555ProxyServer tsfilter balance pob-3119 scsi_mandat step hexkinya odt2doc lsxid