pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

intersectBed objcopy cube_nodeview cvsps eulb-configure-healthcheck eulb-enable-zones-for-lb flow-xlate gnomevfs-mv cc kmix tpm_selftest xrdfs brltty bxcommit overlap dcmscale operon freecontact git-pull-request amslog show-aligns obexpushd pildriver.py qemu-system-ppcemb unweight_fasta.py mzpp vb3kb super ttylog xc_save

© loginroot.com, 2016