Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

alpha-linux-gnu-size dpns-find eulb-create-app-cookie-stickiness-policy exim_dumpdb h5unjam x86_64-w64-mingw32-c++filt mpitests-osu_gatherv rdnssd arb_seamless_cubemap-initially-disabled nv_conditional_render-begin-zero sslh-select mpstat apertium objcopy orderchr.0 coinst_converter debsecan doccentral euler roff2html ibus-setup-cangjie jocamlopt ldaptor-ldap2pdns PTblender lv2soname mincheader mirb DiscreteHedging rlprm sslsniff