Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arprec-config cat dirac_UYVYtoYUV422 euscale-describe-account-limits tknewsbiff circo xsldbg fcaps glx-make-glxdrawable-current xmined cdfrhoproj cdfvtrp ecaccess-event-list eric5 gfan_padic r.param.scale h5topng celeste_standalone ebook polarssl_benchmark pickthis lavtrans mwaw2odf ovsdb-server rancid-cvs patch-hmm.pl kanji-config-updmap csg_density vztmpl-dl WrapperFactory