pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

graver ffconfig qhost setkeycodes meanbias pnmstitch prody-2.6 qmlplugindump safekeep speexdec tomcat-tool-wrapper pywrap bashburn check_postgres_pgb_pool_sv_login dhex feed2imap desauto gconf-schemas gmerlin_recorder gnunet-directory grub-mkdevicemap gxneur zdiff tstcpreceive udisks2_monitor mqmmain.cpp.gz t25out.txt.gz soundmodem opensearch-genquery usbprog-gui

© loginroot.com, 2016