Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mkqdisk cscppc grn kinit libgcc_s_seh-1.dll rdf2srec solis ylistb-gfortran arb_shader_atomic_counters-semantics q2trans_fd.x retrace-server-interact adsl-stop sems bpqparms i586-linux-gnu-ld blaze-remove sixpack fotoxx gresolver tally.control dhcp-lease-list langident passing_earl_tests.sh nted datemail qrouter xmlwidget tool-wrapper.sh sumpix ch..root