Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-strip foomatic-nonumericalids hal-device kbreakout findmissingcrystal kctreetest ppmtopuzz ssh-copy-id pcl_lum fbo-scissor-bitmap sg_start smoltGui corosync-cpgtool makepercentrelay faust2caqt ftp-proxy intfuncs.o r.patch kupfer smpeg-config monodoc-http kinect-stereo-calib unrpm ts2sec mark_service_starting m2300w nencvalid.2 fsfs-stats udisks-glue xen-dir