Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

condor_reschedule rmail html2article hping2 kuser ncbo vertexid-beginend traffic_logstats ivstools ax25ipd cdfcmp cfenvd dh_listpackages dicp eqonomize escript ewfdebug fastaq_insert_or_delete_bases gmtpath grub-macbless wifichoice.sh imcd cli-generate lexer visp-config struct2osd.sh nfacctd qttracereplay sndfile-generate-chirp oldlog2new