Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bltk_winid chown hostid dm r3.mkdspf jstar claw-config nhlf77 arcplugin pmtime scotch_dgscat RSleighService.py shotgun vconfig wm-oldmenu2new lzless anytun randverse cdir generate-pxe-menu keytool goobox nnrpd ipkungfu obspectrophore Rserve.dbg vcloud.rb science-financial ltximg automappingconverter