pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

shuffleBed globus-makefile-header recvstats cvsforwardport lbzmore mtp11-trexist sgml2latex mmsitepass mysqlbinlog ospent polipo dynmat.x reposurgeon lcp_readpol anjuta-tags baycomepp makebin check_postgres_new_version_box dacscheck dh_doxygen gtags hmm2calibrate svn-clean-kde whom gameover.png otrs.Scheduler.pl checkrhosts slashtime javaldx w3af_gui

© loginroot.com, 2016