pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cube_exclusify nntptest dpkg-vendor isnsd jbig2dec kvm.kss mtp-folders edge oiiotool gl-3.1-primitive-restart-xfb glx-fbo-binding moc qtconfig-qt4 setstyle wineserver64 zarafa-set-oof awrite cinnamon-screensaver-lock-dialog dicompyler RGBtoYUV420 acdpretty x2sys_init v.net.components kvkcard polarssl_crl_app i586-mingw32msvc-objdump nuitka-run mkjobtexmf x86info zdb

© loginroot.com, 2016