Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mac2unix cvsforwardport oggz-chop lz4 ppmrelief tiny-lr mkntfs arb_texrect-texture-base-level-error cubemap-shader pycolor rapidsvn __init__.pyc tuned apertium-desrtf dphys-swapfile vecgf2.o mgd77path grub-ntldr-img lo10k1 virt-login-shell ccmtcnvt maria-vis mia-3disosurface-from-stack blastall findspl nepomukbaloomigrator profphd_net smd-client unicharset_extractor xentrace