pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as certmaster-getcert gnome-font-viewer g_cluster_d cckdswap mlpack_nca uic v4l2-dbg x2goserver-run-extensions nsldap.so ifnames2.64 powerpc-linux-gnu-objdump cliofetion dh_pypy dms_promote_replica dms_start_as_replica flexml funds9 gespeaker jackhmmer ikisite-wrapper cipux_configuration vsd2xhtml lua5.1 update-metainit mhn zope-testrunner qingy recordio unp

© loginroot.com, 2016