Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mips64-linux-gnu-strings cube_canonize fence_cisco_ucs gsislogin ibping kojivmd gpg-error libIDL-config-2 setenforce lockfile-create mlpack_nmf ldapurl yexpand wicked-convert-to-utf8 connect-tool aa-logprof canonical-certification-server coldfire filefrag tnameserv sphdistance gsmctl http i3-input ibus osgwidgetmenu DecoyDatabase boobathon swac wmcpuload