Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-nm dtestcm nsdb-simple-nce ftlint ganglia-config krdb lesspipe.sh nethogs ntfslabel exrmakepreview otf2bdf morbid lzmadec bin2h awsetbg freefoam-rhoCentral gmotionlive jh_build oe.pl podviewer mia-2dcost mincreshape otrs.ReprocessMails.pl instant-showcache bundle shorewall-lite sacct easy_eliza splitindex webkit2pdf