Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

4ti2gmp b43-fwdump camorama chicken-profile faked-sysv i.his.rgb h5ls imake libglade-convert fbo-mrt-alphatest spicec unzix amiga-fdisk mk_analyze_hdr dpatch-edit-patch strainextract freefoam-mdEquilibration gtklick kumolog polarssl_pk_decrypt llvm-stress mate-search-tool ubinfo keydctl Sample-NiConvertXToONI dc-tool odf2xhtml qemu-system-mips64el sort-pictures sattach