Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

powerpc64-linux-gnu-addr2line bltk_install conmen euscale-describe-scaling-activities mp4extract netgen-mesher escodegen.js pilot-dlpsh xmlpatterns-qt5 Rcmd wbemmi task strip bison++.yacc openbsd-cwm dhcp-helper dvbscan seqxref grd2xyz r.transect slice2html openvt latexdiff-rcs stamppdf stag-itext2sxpr lldb-gdbserver make-first-existing-target natsort ConvertibleBonds simulavr-disp