pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arch fakechroot libevdev-tweak-device wrapit77 pbmtomacp ppmpat fence_pcmk xgettext.pl peardev reprocmd sgmlwhich cgcc tnef.sh xdg-desktop-menu xsetwacom frze rpsblast chado-fix-flybase-instance.pl git-import-orig icli input-kbd dawg11-status.pl minccopy j2k_dump partclone.vfat macroexecutor qcollectiongenerator bootstrap.jar udisks-tcp-bridge xymoncmd

© loginroot.com, 2016