pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autoupdate-2.13 microblaze-linux-gnu-ld.bfd fence_ilo_ssh man4x gnomine svnlastchange lessecho nytidy-gfortran dmxrminput db2index runantlr arm-linux-gnueabihf-c++filt strip couriermlm zone_tool~rvim fai-debconf ucdtooff gforth-itc-0.7.2 haddock-ghc-7.6.3 vig_optimize nm_agent bugpoint med-psychology dbsessmgr2 tfrt ttf2pk tomoyo-selectpolicy uaputl vemerge zivot

© loginroot.com, 2016