Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

btape nm getcert cpufreq-bench_plot.sh gconf-merge-tree gettext htdump pmi_proxy mtype mysqlcheck static otf2-marker sched-migration-report clearbuffer-mixed-format texrect-many pyrcc4 mountpoint ipctest cvanal envuidgid v.vol.rst i3-dmenu-desktop dancer pt-fifo-split pdfseparate ocr4gamera nib-ls thinkfan uim-input-pad-ja-gtk3 xcape