pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-smooth drawgraph cmodeltoseq gmt2dat typetest kmahjongg sirtopnm semver mason carbon-client qpid-stat kpoints.x_mpich reposdump tcucodec retrv sbmt axel strip cdfprobe pstext pgpverify jh_installlibs count-3.4 lxsession-xsettings foo2zjs q4wine-helper fsfs-access-map tpm_nvrelease vokoscreen winegcc64-development

© loginroot.com, 2016