pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

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

© loginroot.com, 2016