Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

frv-linux-gnu-objcopy fipshmac xfreerdp ftnchek x_init oping vgextend geoip-lite-update monshow mpif90 mysql-zrm-list ldapsearch pcl_spin_estimation arb_stencil_texturing-draw virt-image xfce4-notes xrestop zenity codegroup dispcalGUI-synthprofile fastaq_capillary_to_pairs gdc-4.9 install-postfix.sh ksu.heimdal ionscript synchronize.sh object-remote-node dbsessmgr osgwidgetperformance sdobjcopy