Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

lib points h5pcc pnmtops pmmgr ext_framebuffer_multisample-clear pilot-install-memo radio Pager msp430-gprof calcurse-upgrade calibre pop3d-ssl dcm_x_disp debsums ssematch gpiv hoogle jkmeter plasma-remote-helper l2tpns dk_make_protocol elixir-compose fodtrack mumble-server-cli loofah-update collectiongain qemu-m68k bearing wiipdf