Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

authconfig-tui euca-describe-route-tables fence_virsh grub lighttpd mydns-conf-pgsql sqlt-graph rad run-on-bat tkaepa mips-linux-gnu-size seqsplit euktopdf streams freecell-solver-range-parallel-solve freefoam-sonic gpm-mouse-test i810rotate slice2freeze titanium-starter polarssl_key_app_writer mate-dictionary rsbackup.cron runit keytab2shishi silentjack tlf RNPxlXICFilter randtest yhsm-import-keys