Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arjdisp condor_schedd modulecmd escript magnifier lneato mpicc ext_texture_integer-api-drawpixels pcreate csh ply TkAnt astribank_tool durep pepcoil r.circle r.resamp.interp estbutler acslist go-filter-subset mbimcli mincstats mysql-workbench piespy ptpd spd-say test-sra.2 daemon.sh xen-init-name zoo