pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

enchant diameterc fontopia guile-tools ipv6calc sensors-detect nopt pmnsmerge arb_separate_shader_object-rendezvous_by_location glsl-fs-texture2drect smbldap-passwd wipefs mod_python editra aslink clojure1.6 drbl-run-parts ct_run gozerbot-stop cluster imcfw termcast install-sh windowmasker Sample-NiCRead vacuumdb procmeter3-lcd tiger-hash tree_recon SpectraFilterWindowMower

© loginroot.com, 2016