Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autotrace makecbf toc2cddb cloud-run-instances rfrename euca-create-vpn-gateway lookbib clog_print nview rdm_model_collector.py ircp qdbusxml2cpp-qt5 vconfig svndbadmin dba clustalx dtc-xen_domU_gen_xen_conf efibootmgr fstransform togeomview gmtdefaults kazam last-dotplot buildPortalWSDL mafft-homologs MSProject.pm mysqmail-postfix-logger tstdt stat_driver vpnc-connect