Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

kxterm euare-grouplistpolicies bdftogd ifenslave ksysguardd lvcreate uz myisampack snmpdelta nfs4_editfacl orbit-name-server ospfclient unbound beep coqide timsieved dsh exim_dbmbuild fpcmkcfg-2.6.4 xquery2plan jackhmmer ifile.inject-learn.header kvpnc netdev-times-record mh_linkjars minisat+ mp3check legacy_blast markdown_py csv2rdf