Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ctdb_diagnostics lasergui glances sge_shadowd HsColour jackd mpitests-osu_barrier varfilter.py udunits2 vcf-validator babeld addcr debian-edu-update-netblock domainreso esekeyd ff-pkg-download fsousaged ganeti-mond gnome-keyring-3 g.pnmcomp akonadi_mixedmaildir_resource olsrd-adhoc-setup mainmenu.py sisinstall slxdecode palogist reConServer inetd2rlinetd gap4 xsec-checksig