Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

texi2dvi4a2ps autosupport condor_gridshell db_dump185 blockmean gencfu oomath rlog_check_timeorder timebat netstat dshbak qmlmin-qt5 texindex webdiff btreannounce.bittornado cdfzonalmean viewvc.cgi git-squash iprop-log feelpp_excompiler m17n-conv arcacl create_connection archfs git2gv wcat sdfapi londiste3 teem-tend vigor