Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

m68k-linux-gnu-objdump ld.bfd arch chown fftwf-wisdom gnome-moz-remote vgdisplay qperf rabbitmq-env rsync sevmgr-config x2goresume-desktopsharing autoconf2.59 calligrastage txt2png file2c freefoam-setsToZones gbi3 hp-config_usb_printer clausefilter chrom_sizes.pl lldpcli lsmbox run-mummer1 palo pt-stalk raxmlHPC-PTHREADS-AVX roarpluginrunner safecopy xymonnet