Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

fence_vmware_helper fbsetbg grdmath mpdsigjob.py mpiname pcl_pcd2vtk arb_uniform_buffer_object-maxblocks ext_transform_feedback-position pcp_attach_node pyrsa-keygen subnetcalc supervisorctl dviconcat autoconf2.64 db5.3_checkpoint freefoam-porousInter i686-w64-mingw32-gdb indi_lx200gps lessecho make_combined_log2 wikipedia lttv.real check_perms mrtg-ping-probe mutt_dotlock dib-lint rt-session-viewer-4 pmqtest specto zeitgeist-datahub