Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

artscat sshmitm LC_MESSAGES gpaw-runscript shptreetst pbmlife coverage.php pl pyhoca-cli rmail.sendmail xmltools xfs_freeze freefoam-applyBoundaryLayer g.message r.to.rast3elev icewmbg-experimental jmeter svnforwardport mcpani stag-xml2itext mrcat enemy.py pksieve roarsin rawtmp twclock viewvc-svndbadmin simpos srcmirror zynaddsubfx