Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

strip cpuid ocs fvwm-config gribmap GMXRC.zsh hxtool faxsend libieee1284_test openvas-mkcert rbldnsd salt-api pfb2pfa json_reformat vlog clef ecaccess-file-get.bat freefoam-chtMultiRegion fl-credential-ctl gfsview-batch3D gps2udp gradm_pam r.in.gridatb schwartzmon pkg-map xattr cdvdcontrol autoinst DigestorMotif yagi