Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

curator euca-delete-route pdfoutline globus-makefile-header guilt-commit lockname ikiwiki-makerepo geotifcp pamcomp mrtg2pcp dbinfo attribute0 pq2-info-server apt pv_export denemo gr_plot_short i.topo.corr ppmimgvquant bonobo-slay stag-autoddl obrms photon prerex qasconfig lqt_transcode science-neuroscience-cognitive policyvers IDPosteriorErrorProbability Zipper