Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

pdiff crfreq ecryptfs-manager ikiwiki-comment testregexp.rb mcheck pcl_obj_rec_ransac_model_opps podgrep glx-free-context rpmsoname zanata_language_list akonadi_agent_launcher cvm-qmail dish dl10n-txt diameterc v.distance grub-editenv jack_cpu loweb makedic rawlog-grabber mrtg-sensors osgoit osgoutline pcl_offline_integration bits.py relion_refine_mpi roarinterconnect cineoob