Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

eu-ar euare-userdel fwknopd kmail deltainfoxml2solv lxc-checkconfig fbo-scissor-bitmap ase-gui tlp-usblist xbase-config xql apt-mirror randverse bp_genbank2gff didiwiki dms_restoredb ldap2tinydns-conf fwexec tm event_analyzing_sample-report mp4chaps mtinkc lsb_resource update-inetd scilab-adv-cli odt2doc sdw2odt xmlcopyeditor yubiserver-admin zomghelper