Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

fusion_skirmish mke2fs gd2togif gearmand gplc v.convert grib_set mcmfmt mpdsigjob ntfsresize camlp4oof.opt ssh-agent arb_vertex_buffer_object-ib-subdata-sync pilot-wav ksverdiff lcp_crtpol2 printserverdb x2goresume-session quest aewm aview gamgi grdfft uncompress icingastats memcslap ro-localization qemu-system-ppc64 uncat update-xfonts-traditional