Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ssb-sprom elpa2_print_kernels dasdload NiRecordSynthetic tex-border-1 pyxbwsdl bibledit-xiphos archive_server dcmqridx debconf-escape dia2code bootstrap fcrackzip get_agsize freefoam-Q x86_64-linux-gnu-gcc-ranlib-4.8 v.drape laminfo lilyterm megablast osgmultitexture pda-landscape rdd-verify r2r_show storageservicemanager cad3d tablix2_output listings-ext ti translate-docformat