Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bltk_get_bat mk-job exiqsumm gdbserver mpdchkpyver.py mpirun_rsh clog2TOslog2 osx server.py rpmsodiff lsusb.py pivot_root cdfcofdis dh_icons dh_scrollkeeper dff-gui wordfinder eric5_pluginrepository scheme-srfi-0 marisa-build ns3.17-bench-simulator tokens ophcrack pngchunkdesc polygraph-pgl2ips racc2y bamg riakcs.rb test-sra xx-pyline