Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dnssec-revoke update-gdk-pixbuf-loaders rtlbrowse mtp11-trexist reporter-kerneloops pwritxnt netgo pamtosvg nsec3dig ldapsearch fp-abs-01 razor-config-session apt-get cdvpasswd yyref freefoam-engineCompRatio freefoam-ptot funcen lcdgps r.timestamp grub-editenv screen-ir colormap encode.py gmk_m2-int64 PrecursorMassCorrector tvtime-scanner sxw2odt french-conjugator criticaleditor.cgi