Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

kuesvr thin_restore GenPage lfc-listusrmap irpty faxrunqd nss_wrapper.pl dbrowuniq pciconf pyuic4 qcollectiongenerator rpmdev-sha224 tnef acpi awrite powerpc-linux-gnu-strings dlocate drbl-detect-cdrom ontogetdown gcjh-4.8 gfan_polynomialsetunion camitk-config miramem actdiag qemu-system-sparc64 alpha_diversity.py vr.pl IDMerger ascii2uni glminfo