Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

berkeley_db43_svc gdal_merge.py grdvolume x2sys_solve sha512hmac wedged kolabwizard objcopy arb_gpu_shader5-invocations_count_too_large urxvt256cd caret5 installwatch cqa-annotate dh_suidregister dcdirdmp drbl-etc-hosts ecaccess-file-delete.bat fileschanged gnunet-transport grfstrip imclean jack_cpu kitengen lakbak vewend occ qmail-start srf-load atk6-randicmp6 xorp_static_routes