pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ldap-agent chm_http euca-run-instances gcps2wld.py gfal_testchmod globus-sh-exec qhost rb-archfix munimatch basepods arb_texture_view-texsubimage-layers radlogin roots maq2sam-short vapicheck genewisedb xmlock apxs2 pepwindowall fizsh fvwm-crystal.infoline gr_plot_fft_f jbgtopbm85 akonadi_mixedmaildir_resource rmmer.noask mhc2palm pg_receivexlog qwavfade crypt_passwd.pl yesod-ghc-wrapper

© loginroot.com, 2016