pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cpmls ebtables-save gl-setup-authkeys grib_ls qcollectiongenerator-qt5 pw2bgw.x_openmpi prettify_json.rb smbta-util sdcc-sdld6808 sg_prevent gsnap qsub-torque 2html dh_installlogcheck install.sh iclingo hime-env radius lldb miramem mrxvt-mini mshortname pcb-gtk bits.py ra-index gmk_ub2-int32 param_chooser docbook-2-html pop_auth xmms2

© loginroot.com, 2016