Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bzcmp badblocks epsg_tr.py r3.in.v5d v.outlier JxrEncApp ascompose wmf2eps mha-dbrecover mysqldbimport afs5log pdffonts memprobe tcpcapinfo avcimport powerpc-linux-gnu-gprof cba-gtk cdfvsig ecaccess-ectrans-list freefoam-surfaceFeatureExtract gfork gnunet-identity-gtk gtypist indi_intelliscope jpeg2yuv osgarchive teem-mrender todos ttf2ufm_x2gs z88i2