Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cmark gmtinfo x2sys_list ldapvi mdoc-assemble opencv_performance testr prettify_json.rb scotch_amk_grf hbf2gf xscreensaver-getimage yum bosh ceph_test_rados_watch_notify duma fvwm-crystal.wallpaper uncompress hts_engine deliverquota.maildrop matchbox-session MonoDevelop.Core.dll.config myproxy-server numaverage pmlock pdf2txt plt-r5rs rdup-tr snp-sites startupmanager TMTAnalyzer