Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mycrypt cssutil csync2-compare pxa3xx_dump htdb_load ipa-replica-manage kdestroy ncea arb_color_buffer_float-mrt vs-point_size-zero coherence svn cimconfig uncpk colormake-short coqtop.opt drbl-collect-mac espctag fp-facilitator nspr-config njb-setowner llines yuvscaler getpub patcher psize ptpd join_paired_ends.py rtax s3d