Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

carbon-sync cherokee-config ext_texture_integer-api-readpixels setpin fixscribeps puppetdoc pyrsa-encrypt zebra turbo_lanczos.x_mpich tachyon-ogl PyroNoiseM a2dissite arbtt-stats cdshuffle fit_spline_xform debsigs-signchanges gen-cam-menu x86_64-linux-gnu-gcc-nm-4.9 trietool-0.2 metacam mew-pinentry mothur-mpi neutron-openvswitch-agent nitpic pkcsconf osgwidgetstyled pngcp qpsmtpd-prefork setenv.sh odt2docbook