Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cube3to4 guilt-status iscsiuio cgexec mpitests-osu_allreduce nautilus-file-management-properties ncea cwutil easy_install java2html tex4ht processcsv.py autotrash balooshow gmod_add_organism.pl diameterc gfs2_grow x_report dm-tool lxc-test-reboot med-epi mp3wrap nxproxy srs2envtol parallel_pick_otus_trie.py sipcrack .placeholder configtest.sh unhide wmdiskmon