Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

checkmodule signset-editor dpm-replicate git-receive-pack psvelo latex2png lfc-dli mirmon mpitests-osu_alltoall cp.dll dbcolpercentile vsplitmodule sc qdoc sequel tm_dratex drumstick-drumgrid grokevt-addlog cmbuild langident llvm-dis mafft-homologs.rb nescc-ncg perlpanel-item-edit dicomimageviewer moin-mass-migrate remmina ssm tekka znol