Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

json.cgi nearblack jjtree kbackgroundsnapshot asmerge lyx ncdiff traptoemail tilt glx-buffer-age pixeltool makemap generic_count will_java_segfault xdg-screensaver ecaccess-file-mdelete.bat ontogetsibs gnotime-remote v.digit icegrid-gui indi_sbig_stv podofocolor libwebsockets-test-server macstream nicovideo-dl dropdb proalign jsvn lceb_dynopt xsil2graphics