Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

named-checkzone lex d.erase wpg2svg iostat2pcp perl.prov.files cpglockd sg_copy_results wvPDF vsave mountavfs powerpc64le-linux-gnu-objdump calibre-debug coqide mkcramfs het_import giftrans glance-cache-pruner bptrace mafft-einsi MonoDevelop.Projects.Formats.MSBuild.exe show-diff javac puredata scsi_ready tmexpand tcyait ttylog tcpserver zemberek-demo