Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

remove-ds.pl sedismod cpmchattr generatorrunner transcheck nftrack puppetrun xfce4-mouse-settings cmospwd csdp-randgraph DBusCall dsr2xml add-shell eficas avr-gcc-nm gnome-boxes r.compress ivcat akonadi_sendlater_agent mx-run subs GNUAutobuildProjectCreator.pm javap ossim-pixelflip otrs.CheckModules.pl iofits radare2 daemon.sh xteld zsh5-static