pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

forsort ipa-getcert genbackupdata psk-crack lbzip2 oggz-known-codecs mysqlimport pbc_disassemble horde-queue-run-tasks fbo-luminance-alpha bloom-update rancid sg_vpd pwunconv implementation6 vdsm-tool aewm++ ceilometer-agent-notification ecaccess-file-delete.bat fswebcam gift-generate-inverted-file dccplso xmlada-config mincview gmp3info java otrs.WebserviceConfig.pl taurusform sip-date ssh-import-id

© loginroot.com, 2016