Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

install chroot erl shield-trigger-iptables pcl_pcd2vtk hiz-stencil-test-fbo-d0-s8 pssh virtualenv-2.6 qpid-stat ssss-combine mltex editra xrdstagetool amavisd-agent msp430-size fib2image fd-commit rs6 vlatai mkkanwa mia-2dmyopgt-nonrigid Psequin poff swift-reconciler-enqueue texifylisp DigestorMotif uget-gtk dynapi.text2var.html cmdtool z88i1