pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

x86_64-linux-gnu-ld.bfd indexer.php kmk_cp kojid hpsa_lsmplugin lxc-stop x86_64-w64-mingw32-pkg-config mysql_client_test rasview grunt-init clearbuffer-mixed-format pip scorep gftopk asimut apt-listbugs cdebootstrap-static dvd-slideshow euktopst i686-w64-mingw32-c++-posix ips embryo_cc lli-child-target proxytunnel atk6-fake_mipv6 EICExtractor transfermii_gui vtwm povray xowish

© loginroot.com, 2016