Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

foomatic-nonumericalids glite-lb-export neqn routeB.sh permview mren ssh paps ext_framebuffer_multisample-sample-coverage pyrexc scout.ser dvihp mergecap spatch discus expect_tknewsbiff getfdprm locker x86_64-linux-gnu-gcc-ranlib-4.8 consang push kmetronome kmldonkey Microsoft.VisualBasic.targets esvideompeg2pes relion_particle_polish_mpi scfg_make splash tetrafile xen