Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

keyarch globus-job-submit lfc-rename hg-viz slog2print smtpctl slogin pmlogconf-setup checkdigits.pl clc_synchronize.mpi src-hilite-lesspipe.sh getopt winebuild xsane apertium-reodt aprsmon bitmeter ctdb_event_helper dh_usrlocal wrap-and-sort dh_dzil_build erlc v.mkgrid tag2thesaurus nat-traverse nvram-wakeup pmie_daily sogod canvasdraw dh_installyorick