Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cp2k.psmp_mpich dfbfx rollinit stg-koji google-authenticator lz4c POST ssh2rpd rxvt rlxtools xvpn avcdelete btrfs-select-super cdfokubo-w desproxy-socksserver discover-config tietze.o anytoucd genidl mppenc finddup taurusdoc except sendmail2snpp sidplay smp_zone_activate tabble atk6-dos-new-ip6 uqwk.nntp wpa_gui