Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ansible-galaxy bird6 grdtrend h5ls hesinfo mpitests-osu_reduce_scatter ntpdc opendkim-genkey pmatop ext_transform_feedback-nonflat-integral pstex2eps sepolgen pw2bgw.x_openmpi weechat-curses apt-src boxer dxml-db2latex depqbf mkdns323fw dbxfasta standard.lut htools kstash kamoso htmlcxx mafft-linsi alpha_rarefaction.py unroff xtightvncviewer zwgc