Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euscale-put-notification-configuration ghc-7.0.4 g_morph iok sgml2rtf nodeunit watchreader openvas-rmuser pcl_obj2vtk rootd mason_handler.fcgi dmascc_cfg col5 cronolog dmraid-activate funjoin gadmin-proftpd gjots2html gupnp-universal-cp hpmount mifare-desfire-format regina-config swetest tsnullshaper owdir partclone.ntfs pegasus-transfer pyplusplus_gui.pyw sagasu software-properties-kde