Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

spell gnutls-cli g.gisenv makedepend jasper genl-ctrl-list openvas-nvt-sync pdnssec arb_copy_buffer-overlap rc reboot vcf-shuffle-cols ld pg2graphviz.pl gcc-4.8 gjacktransport gtk-theme-switch2 dtn2adminep mservdetect rmcp pmlogextract acpi_available qemu-mips64 qemu-ppc64le qmail-send qmpdclient rxvt-xpm caff tablix2_plot visitors