Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aespipe arpwatch glib-mkenums pdf2fax.gs ibhosts transcheck arb_uniform_buffer_object-getintegeri_v stress charybdis-ircd cron-deja-vu dbus-cleanup-sockets generate-pxe-menu texfix empathy freefoam-fire gmt2bin indi_simulator_ccd kalgebramobile factor.pl pg_controldata pymca app.py fitsmd5 acpl-int32 urlbst installfont-tl viewmol w3af xwit yarac