pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

svgpp ccs_config_validate db43_stat herclin intel_sprite_on pcbnew libgcrypt-config report-gtk vipe ntpdc vxi11-cli trickled xfce4-display-settings affinfo brec ocs-resize-part syslog2eximlog gij gpiv_sstrain i3-msg jgit dcadec miwm afsd.fuse quickplot wserv gpg-mailkeys slonik_subscribe_set FeatureFinderCentroided urlwatch

© loginroot.com, 2016