Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

v.vect.stats gij m17n-db libwinpthread-1.dll mdir fake_recall ldapurl otangle flood_mldrouter6 appstream-validate arbtt-stats bacula-console-qt ar xduplic-copier drbl-rm-user dvbsnoop pepwindow mkfs.exfat flextra.gfs gbsinfo gsmctl lessecho nyancat-server open-axiom osgparticleeffects opensesame applet-coherence qrls vam xmousepos