Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

esdsample d.what.vect r.null r.out.gridatb qevent ibrouters dc1394_grab_color_image libpng-config pamditherbw cmsutil migspeed restorecond edquota ceph_filestore_tool cfshow ecryptfs-migrate-home scopparse erlc inter arabic.txt gmediarender grsync kbdinfo lurker-search PlopFolio poc-2250 fuser shnsplit suck traceroute6.db