Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ranlib cpqarrayd LzmaCompress memsup v.kernel g_tpbconv_d imapsync raw_ethernet_lat built-in-constants qperf pixeltool qdbus sg_ident speexdec jbibtex ard-reset-arduino autoradioctrl expandCols ranlib cm start_clean.boot random.lut flextra.gfs g.mapset kactivitymanagerd nova-rootwrap qmp3join sidplayfp st_snapshot lcf