Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aclocal-1.11 b43-fwdump cppcheck cache_metadata_size doxywizard dpns-listusrmap ecryptfs-stat frv-linux-gnu-gcov heimdal-telnet kio_uiserver ledctl handlebars qhelpgenerator rabbitmq-env eventlogadm apertium-repptx mips64el-linux-gnuabi64-objdump grmid-4.8 hspell-gui header.py imcd bpcp kismet_drone aot-compile ICSharpCode.NRefactory.CSharp.dll osgtext3D pgdbf DicomCleaner variant_comp vb2imgs