Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

hciattach bogoutil rcceph kxterm fence_cisco_ucs ftdiff sccmap htproxyrenew koji-gc lvscan mpmetis64 xmlpretty rg-teximage-01 sss_obfuscate cimmofl critcl eric5_trpreviewer frogr v.net.visibility grub-macbless pbmtoimgv ldbash libwebsockets-test-client mh_resolve_dependencies musetup-gtk phar5 dmi_resource pkg-map qapt-batch pmpost