pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

atool openrisc-linux-gnu-ranlib engauge extundelete grid-ca-package cgsnapshot nl-qdisc-delete mydns-conf-mysql pmload ppod2txt pilot-dedupe sdcc-sdas8051 smbldap-groupmod SGrid xzdiff check_postgres_pgbouncer_checksum clang as_client dh-make-pear .htaccess captcha.sh fastaq_trim_Ns_at_end network_reconnect_resume_test pybabel-python2 pynifti_pst rem update-rt-siteconfig-4 sgrep scripts-util shapeclustering

© loginroot.com, 2016