Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

strip compiz-gtk dgsop dmidecode ecryptfsd ed dcl2inc ipa-dns-install pcbnew node-gyp eval_octree_accuracy fbo-sys-sub-blit ipengine qucsveri rcsmerge msp430-c++filt dms_promotedb espeakup POFileConsistency gfs2_grow git-effort hebcal knockd kradio4-convert-presets massxpert med-config es2gears newmail srf2fasta tla-gpg-check