Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bfin-linux-gnu-nm ia64-linux-gnu-objdump index.cgi fvfuseviewer fttimer d.zoom kwikdisk kinit mercurial-convert-repo mpiexec.gforker arithchk coherence rpm2mpm ms_print alien_hunter dl10n-html fadecut rmid expireGititCache kanjipad webxref wsdl2perl qmtpfront-qmail mcabber mono-find-provides qpdldecode deurlname mmval winebuild zdb