Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

runant.py newaliases.exim h52gif cleanlinks gif2tiff strip-json-comments ocaml-bdump camlp4r voms-server.pl bf-level-editor pwhois gvimdiff aerect bp_translate_seq fcitx-diagnose ffado-test-isoxmit freefoam-pimpleDyM hunt nash imapfront-auth mplayerthumbsconfig mpcchap pt-table-checksum postfix-add-filter literati create_db.Sybase tau_throttle pdfannotextractor findhost.cgi zleave