Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

score-linux-gnu-c++filt freshclam whoami iptables-1.4.7 mk-parallel-dump yapp vttest aragorn brltty coinst-upgrades colrconv sort makesmtpaccess cryptmount-setup debsums_init dmitry ebview-client nthseqset showseq ezstream freefoam-MRFInter glam2-purge i686-w64-mingw32-c++-posix hashcash chprop mkc_check_decl ironic theseus_align tilecache_seed trash