Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alsa-info.sh bcfg2 condor_update_machine_ad condor_vacate_job arpspoof man4x gd2topng intel_upload_blit_large_map phc_ctl llvm-readobj mpitests-osu_multi_lat tapeinfo pasuspender subunit-stats iusql xchm booldnf bowtie-inspect-s README superformat icewmtray-lite rp.pl amd64-mingw32msvc-strings mp3info dustmasker zope-sendmail vdb-config vdb-unlock.2.3.5 do_auth kissbridge