Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ctl-hlfsd dmenu_path scheme-srfi-0 kreversi cgset ibv_srq_pingpong svm-checkdata.py sff2g3 stinit mysql_upgrade pnmcut cgcc tex4ht-ht waagent repo-rss adplay agave offconsol hdup ipcheck jnoisemeter parldyn llvm-link comsatd mono-boehm pfspad pshell3 compare_taxa_summaries.py qmp3cut xrootconsole