Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

to_erl esri2wkt.py gnomevfs-cat r.random.surface g_gyrate_d kasumi sensors mk-profile-compact mk-slave-move pointer-capture-applet ppmtoyuv sketch caiksaurus bangarang cpufreqnextgovernor grub-emu-lite mifare-desfire-format mason.pl mdns-scan mcverter scout mod2sec JPWL_image_to_j2k opusrtp battery_test gputest_benchmark fsmount rhnreg_ks xiph2vclt isnum