Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

antiword arp-fingerprint fxotune flow-gen fog g_genrestr h5import xkoules libcdaudio-config wnckprop nighthttpd upssched-cmd slogin pkcs11_eventmgr pmcpp pekwm rt-shredder stap-merge wicd-cli dbus-launch hmm2build jana-ecal-time forked_tests.pl vidraft ppdfilt s5 scbayes soapdenovo-127mer vim-addons xmds