Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

glusterfsd ifenslave plutil-1.2 grunt-compare-size pwauth qmlprofiler sbcl.sh xvidtune as10k1 arora bunzip2 cdfmaskdmp lvote debconf debian-edu-nscd-netgroup-cache dbxgcg extractfeat green.lut fai-class grive jetring-build mplex unpack200 drr powerstat qemu-system-mips64 scotch_esmumps digest.sh inputkill moneyprint