Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autotest-daemon svgpp c++filt bipmkpw xclips-color epylog func-create-module gtest-config iceccd vmcore-dmesg uno.bin mpitests-osu_allreduce mpirun_dbg.totalview amd_seamless_cubemap_per_texture link-mismatch-layout-02 bundlepmw.pyo pyxbdump qmleasing svn2cl kissreads ppufiles-2.6.4 gr_psd_plot_b nhmmscan actmerge trs changepagestring tracetop dupemap mewest qwebcontentedit