pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autotest-local beam.smp euscale-create-or-update-tags gpaw-mpisim v.what imlib_config resample-sndfile telnet-chatd yac2ncid manifestparser rpc.rstatd ask-compare-time-series check_postgres_pgb_pool_maxwait coqc cudf-check electrum execstack fb tzxlist arm-none-eabi-gcov MkOneOf slice2py gdcmscu mpicc.openmpi lpspp follower.py is.pl ucf xmlindent yaz-json-parse

© loginroot.com, 2016