Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

2ping avarice dpm-qryconf d.what.vect hdfimport pmnsdel carbon-client sg_read cimmof antlr3 apertium-filter-ambiguity axi-cache check_postgres_disabled_triggers emowse gmtdefaults gitview grokevt-builddb gscan2pdf create-bridge-sql.pl pods2html lockmail.maildrop mrmult pbuilder plsense-server-work postgrey ryu-manager timblserver TextExporter keyhead textcomp