pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dpkg-divert rcp mkvextract mysql_install_db f2py.numpy .ssh.hmac swift-im wvDocBook xapian-progsrv concavity dh find-large-clusters translate_cmip3 fai-class freefoam-buoyantPimple gcrystal-0.14 init-select json-glib-validate fof-prover9 elementary_quicklaunch copylink mate-invest-chart masterha_master_switch ne pcl_openni_fast_mesh sfood-checker arap.pl tilecache_seed bam2fastx __init__.py

© loginroot.com, 2016