pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

findnodes euca-describe-snapshot-attribute ga-config memcapable gmcs ppmtoilbm openvas-mkrand largeprimes lwp-download arb_uniform_buffer_object-layout-std140-base-size-and-alignment tctmttest ms_print iwpriv oclock blastall seedtop efivar gbrowse_launch_aws_slaves gcj-4.9 git-import-dsc send-uucp ldapid dumbnet-config translate SOAPsh mix slapos txt2pdbdoc vzdqdump tv_to_latex

© loginroot.com, 2016