Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

antRun condor_ssh_to_job dbmail-timsieved euare-groupgetpolicy pvfnoise mupdisp mpicxx ociolutimage copy-pixels ext_transform_feedback-discard-drawarrays fbo-storage-formats smbprint sl starcluster xrdp-sestest ao-dbg avcexport objdump clit ebshell density xqueryx2xquery gsmc MonoDevelop.Projects.Formats.MSBuild.exe morseexec timing_slave science-engineering-dev compute_user bgzip winswitch_stdio_socket