Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ld.bfd dirac_RGBtoYUV444 soelim mysqlbug sqlt-diagram kronolith-convert-datatree-shares-to-sql fixdlsrps virtualenvwrapper.sh autossh-argv0 eppfpga chado-build-schema.pl freefoam-Co gauche-install pd-gem ges-launch-0.10 zart grokevt-dumpmsgs policyeditor mathmlviewer h5pcc.mpich mia-3dtransform mpswap ovs-pki osgearth_tfs owish schema2ldif mason arara texstudio delete_spam