pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amavisd-release ia64-linux-gnu-ld.bfd elk-spacegroup d.font greadelf regmerge tdevice ncargcc pcl_train_linemod_template turba-convert-sql-shares-to-sqlng glx-free-context hiz-depth-stencil-test-fbo-d24s8 taboot x2gogetservers ztest bcrypt drbl-get-host ldapsetprimarygroup apu-config awsres stag-diff mia-3dbinarycombine blastx osggpx qemu-system-cris r2agent science-astronomy-dev ttut first dh_installyorick

© loginroot.com, 2016