pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byobu-enable fatback-g77 ccmake28 show_qfiles ociodisplay rmcp_ping pdnssec lwp-dump pure-ftpd pylint-gui iotk_print_kinds.x_mpich manypw.x_mpich flood_solicitate6 bscan arm-linux-gnueabihf-ar mips64el-linux-gnuabi64-strip compartment authpasswd x86_64-linux-gnu-cpp-4.9 dpkg-awk grdmask ipeextract jpilot-sync matitac.opt debugout_dnorm.txt.gz shinken sattach totalopenstation-cli-parser th-cmd wmnet

© loginroot.com, 2016