Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gprof x86_64-linux-gnu-ld curl skillet openvt tigerdeep pgpool rsync scponlyc dvibook tm_texgraph build_tmdb reindex xfce4-mixer icclu ceph_erasure_code_benchmark daemonfs deb-preconf-drbl dsdp5 fmfconv git-delete-tag hpsockd id3v2 mpc-ace pb-event polygraph-cdb httpget shp_doctor login.pl xcal_cal