Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cris-linux-gnu-ar denyhosts.py dinotrace text2wave glite-lb-bkserverd h5repack mine_detector p1.pl orbit-idl umap tex-swizzle qodem catstomp bdftopcf adabrowse checkstyle interleaved_bad_slices RGBtoYUV411 e2image flix erlc gcb tracetop xpi-unpack ovsdb-server paraclu taurusdoc siggen vifmrc-converter tv_grab_eu_egon