Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

generate_modules.py bltk_calc ceph_test_cors clamd.clamsmtp condor_kbdd dirac_YUV422toRGB pitchplay gpgsplit h5redeploy updateinfoxml2solv pamlookup jsonlint glsl-vs-arrays accton pktype trqauthd aeedit atslib basexclient install_packages fdnstxt funcoeszz oclingo wv2-config mimefilter upslog tjl uclust snap vdb-config