pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-mgmesh asterisk squiggle balignsim firstaidkitrevert im-chooser occlusion_query_meta_no_fragments rosdistro_migrate_to_rep_143 ramon lscgroup gmod_materialized_view_tool.pl ecaccess-file-mget.bat efingerd rmiregistry groovyc ibid innwatch intel_dump_decode tracepath iwatch folders literal.py qmlimportscanner relion_mask_create remind amk_grf-int64 atst-int32 snsend tssd zope2.wsgi.in

© loginroot.com, 2016