Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

tcppm ppc-koji openocd pcre-config arb_uniform_buffer_object-bindbuffer-general-point ps_mem bundle sdcc-savr dvipos x2gosuspend-session xnec2c mheardd grab-account chronicle-rss-importer db5.3_sql cvmsh2 gnunet-conversation-test kkc mpirun_lam nec2 olsr_switch osgoutline populations assistant shprewind tao2wav reverse-build-depends upower v4l2loopback-ctl yasat