Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-elfedit cleanarch dwatch GenDepex grd2xyz g_cluster_d lcg-lr vgmknodes myisampack night_pointer victronups pbzip2 rt-email-dashboards ssmtp mod2zmod tm_mathematica deletall m68hc11-readelf cdfsiginsitu freefoam-ansysToFoam freefoam-job pssegyz gnome-phone-manager kid3 allegro-config ibwtest pygopherd quickml-ctl slrn vdb-config