Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

b43-asm.bin emem file gfal-ls urlencode hal-disable-polling smtp-sink quakestat samtools tasksh httxt2dbm ldap2fai arm-none-eabi-addr2line mips64el-linux-gnuabi64-c++filt cantor cdvpasswd mkesmtpdcert Fgrids gwu gfan_bases hexgplc-iso kcollectd llvm-diff-3.4 parallel-nuke master1 rss2irc s9hts sipcrack DBExporter ackinfo.cgi