Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

users disk-image-create euare-userlistpolicies img2mercgrd grib_keys mayavi2 ld mpirun crm_resource vreg_latex2html assistant_adp turbo_lanczos.x_mpich turbo_davidson.x pdftools csearch dino cdbmake trad2sim v.split install-info run-init neutron-rootwrap-xen-dom0 triggers-diff.pl jrunscript primeDLRS hp2100 luajittex OpenMSInfo log2tsung.pl wmfrog