Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-action-save-package-data liveinst dialog resize2fs htping lcg-replica-manager otr_modify nccopy yapp rspec smbldap-groupmod wvMime xfsrestore xpidllex.py avogadro as bf_copy-tokyocabinet cdpause code2html dh-make-perl fgetty-login2 gfan_stats pscoast newsrequeue sctop-report mailq btee ferret-browser ssmpingd we