Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

GenVtf intel_l3_parity nodeunit.json camlp4rf.opt nyindex-g77 arb_sync-delete glean trinity-fp1 xterm verifytree exim_fixdb freefoam-cellSet cwnnkill funsky gcm-import hhfilter estload jclicreports ixpc lsh-execuv morla clean_conntrack.pl oggJoin pinentry-x2go keyboard_test arancid irb2.1 selinux-policy-upgrade sfood-graph imsize