pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

fc-list gl-conf-convert ccmakedep gmake mpiexec vmware-toolbox-cmd ylistb-g77 two-sided-lighting-separate-specular setup sha1pass radio aa-logprof bubblefishymon colormake dpkg-www drbl-useradd-file expect_autoexpect fiu-run freefoam-buoyantPimple v.net.timetable hmm2index rep-xgettext metastore mia-2dmyocard-segment tensor_metric neutron-metering-agent widgetserver swig3.0 vbrfix xtightvncviewer

© loginroot.com, 2016