Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aqbanking-cli getmail sgepasswd arch ncra hpievents pcl_obj_rec_ransac_scene_opps pmstat arb_uniform_buffer_object-referenced-by-shader pic2plot pi ntlm_auth scotch_mtst unshar moz2po aterm-xterm icon_dump_index garnier glbsp pssegy update-ifupdown-scripts-zg2.d-symlinks fastjet-config smpicxx remove_members make-memtest86-boot-floppy pof8 xfminvert ovs-vswitchd sinfo TraCITestClient