pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

forsort colorize fetchmail goad-browser kcforesttest lbzless slog2filter munin-check nettee paw++-gfortran arb_texrect-texture-base-level-error yaz-illclient bfgminer antenv.cmd tags_demo r3.mkdspf hibernate-ram imageindex jh_setupenvironment jeuclid-mathviewer llvm-config MonoDevelop.Projects.Formats.MSBuild.exe xpi-repack Sample-NiRecordSynthetic profbval imv stormondemand.rb tora xiph2vclt xymoncmd

© loginroot.com, 2016