pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

streamplayer mount.glusterfs guilt-init makealias setcap mpiexec ntpdate scp po4apod-display-po repoview smurf6 varnetload adactl cgminer-api update-debian-edu-artwork-spacefun getbuildlog gatling-bench nc2xy indi_v4l_legacy jbgtopbm stag-splitter pn53x-diagnose llvm-as itango3 nose2 twill-fork txaws-create-bucket amk_grf-int64 swami tomoyo-savepolicy

© loginroot.com, 2016