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