pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bfin-linux-gnu-ranlib nqs_status.sh condor_updates_stats fipscheck ftvalid fts-rest-delegate func lcg-gt ldns-config mtr yuvsplittoppm ola_uni_merge slapadd qdoc3 fs.x_openmpi httpclient indexcon switch_root rpc.ypxfrd ao-elftohex SeqDist sampasswd eperl gpiv_rot90 v.net.visibility llvm-ranlib-3.4 mark_service_inactive ca-certreq-mail.py trove-taskmanager zenlisp

© loginroot.com, 2016