Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

thin_restore ga-config egroupwarewizard kaddressbook lspst mysqlrplcheck zeisstopnm ytoceta-gfortran pptpd in.proftpd pw_export.x_openmpi tm_mupad_help ag cb2ti3 mips-linux-gnu-gprof ceph_streamtest fastaq_replace_bases hxnum impack ijoin x86_64-linux-gnu-python2.7-config med-tools genidl nngrab osgpagedlod recovermov screenlets-packager samba-program vyum yodlstriproff