pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

nm mn10300-linux-gnu-strings bmsgen dpm-releasespace unfreeze mgd77path oggz purple-client-example mpiexec mpicc nacl-sha512 pcp_recovery_node skill mid3v2 cross-ruby.rake aa mips64el-linux-gnuabi64-readelf ocs-devsort bin2obj-2.6.4 hgview lbcdclient mutt-patched service_starting osgcallback openxenmanager txaws-list-buckets relatedness.py selinux-activate linux.uml gap.sh

© loginroot.com, 2016