Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arpaname fedmsg-config grdproject ikiwiki-mass-rebuild mono-cil-strip opcontrol dumpelf db_to_csv toobig6 cdrwtool xvinfo argonaut-server ocs-functions ecaccess-job-get device2grub fastaq_to_fasta fb frameworkd hpcopy obus-gen-interface fortc mgp music123 fstrace osgframerenderer update-otags pepper qemu-sparc32plus science-electronics cli_mt