Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bsdcpio3 ar86 glchess g_dist gtk-redshift zless hp-diagnose_plugin tracepath dc1394_grab_color_image orbit-idl pkcs11_listcerts par2verify html2 score_conservation courier-mtaconfig ekeydctl hledger-web kinit sass2css ncmpc primer3_core qmake rio sawfish s9hts search-ccsb svdrpsend xml.py.mako wps2epub xymonclient-openbsd.sh