pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dbusxx-xml2cpp rsmtp.exim igetevent kppp arb_texture_multisample-teximage-3d-multisample glx-copy-sub-buffer qmllint rbldnsd sigul_server_create_db sipp tpm_resetdalock pocount aoecfg columns m68hc11-size patdiff eliloalt pshistogram ibid-db icinga2-build-ca jparse openam osgviewer resolution_test exclude_seqs_by_blast.py perl6-debug-p modelicat atk6-firewall6 xbmc-j2meremote yhsm-decrypt-aead

© loginroot.com, 2016