Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

endx2xml comm globus-k5 globusrun cc jjtree nl-link-list tiffmedian send_nsca pdfbklt fixqt4headers.pl target wpa_passphrase yppasswd ayttm btyacc ciderwebmail_create.pl makehosteddomains freeplayer gift-old-to-new-url2fts.pl bsscounter latcp elixir-column dkimproxy-sign mwaw2raw sixel2png not lxc-test-getkeys wp2x zpasswd