pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cube_inclusify foomatic-configure htmkdir g_gmxdump cjpeg procServ onto2vocabularyclass mini-inetd will_java_throw xglock xdpyinfo apt-rdepends ard-reset-arduino powerpc64le-linux-gnu-nm shef chuck cramfsswap denemo jpegdump enlightenment_open eric5_qregularexpression gprename imput tjl runsvdir-start scite FeatureFinderMetabo twms uwsgi_router_access wp2t

© loginroot.com, 2016