Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aarch64-linux-gnu-nm bon_csv2html fence_egenera v.net.steiner sge_qmaster nyindex same-attachment-glFramebufferRenderbuffer-GL_DEPTH_STENCIL_ATTACHMENT qdbusxml2cpp quantlib-test-suite spec samefile scorep cefconv tm_sage traceroute altgr-ergo cr_run brandy print_mgr cwdaemon fastx_trimmer i3-nagbar mapnik-config lp-milestones mailagent.log.pl osganimationmorph otrs.GenericInterfaceDebugRead.pl testldap.pl tightvncserver zapping