Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aoe-stat objcopy dumptable bms2kiss elpa2_print_kernels fedoradev-pkgowners m68k-linux-gnu-cpp ldapsearch ykpamcfg clipbrowse pyrsa-priv2pub-2 moksha-hub pw.x_openmpi makemap viewgam mips64el-linux-gnuabi64-elfedit ecaccess-association-delete.bat seqwords gkeytool-4.8 smash_megafile gtags desktop-check-mime-types gnomint-cli icmpush maildirmake.maildrop osgwidgetaddremove denoise_wrapper.py mzpp s9scm2html FileFilter