Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arptables BackupPC_nightly bgljas git-shell grdfft g.rename r3.cross.rast toast ibcacheedit mpirun net-snmp-config nss-gui map streaming-texture-leak qdbusviewer gww.x regdiff wslenum yad 9mount net2kiss erlc faust2firefox pub2xhtml ninja orbd perl5.20.2 python-mkdebian nib-ls rivet-mkhtml