pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

db43_load flow-dscan hp-toolbox create-jar-links mtp11-files mpirun_dbg.ddd ppmntsc podspell phpci fill-ref-md5 xvpn z80-unknown-coff-ar cairo-dock clang-query fadecut hapm langford_rf_fsynth cpandb distinkt-travisyml wandiocat udebug inetd pdb3 pystache print_metadata_stats.py stormondemand.rb ssr-wfs.nox ap.pl busctl telegnome

© loginroot.com, 2016