Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dig dnsenum hp_ud_grade mpiexec hiz-depth-test-window-stencil1 sslh-select voro++ 0install MonoOfflinePlayer dcm_dump_element GOSA glfer r.li.pielou innconfval jmacro lxshortcut traceends libwebsockets-test-server mixvm noindex 7zr pcb-lesstif add_qiime_labels.py ratfor filedumper wmname tos-bsl um_del_service zizler immatch