Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ifnames rasterizer bodhi-pickledb cxi_ns tknewsbiff fts-rest-whoami tbl cfn-signal icewmhint intel_reg_snapshot ykpamcfg xml_grep getteximage-simple s3put kvm_stat mailstats sendmail.ssmtp xliff2po aexml nsopenssl.so cctiff autogrid4 drbl-ssi-client-prepare cutseq gm-convert_file savecore-lyskom prayer swipl-rc task_manager.pl wmclockmon-config