Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bconsole foomatic-getpjloptions caca-config mingw64-cmake rsyncusers mpif90 pstoedit roundup-mailgw rpmdev-wipetree totem-video-thumbnailer ap-config sievec gift-mrml-client.pl hashcash hxclean icpfind inetutils-traceroute echo-client-2 testsolv mewest genidl mklibs-readelf pytest3 qemu-system-mips64 ql-hba-snapshot gpgwrap skkdic-expr2 snmpttconvertmib bibdoiadd sigdigits