Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dnspktflow bluetooth-applet gnome-system-monitor idiscover ksh93 cgdelete log4cpp-config-x86_64 ranlib DosMain_openmpi glsl-1.50-gs-input-layout-qualifiers pilot-read-palmpix privoxy qt3to4 clunfslock devdump cxref-cpp.upstream freefoam-changeDictionary ppmimgvquant map2slim licq chktri gencoil m2ts2cbrts zserv psize pfsinppm pida sflphone-client-gnome stealthcron.gz wkhtmltoimage