Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

easybashgui g_gmxdump_d h5copy h52gif lssubsys nxauth ocaml designer-qt4 grpmorphan scotch_gmk_ub2 silvia_issuer imgmerge authpasswd doodle funsky git-bug mk_angndx gyoto hxselect ido2db ksplice-undo polarssl_rsa_encrypt mco Process_Win32.pm mkfs.jffs2 mutt-patched rmtsysd sigma vdb-config.2.3.5 lceb