Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dhcping fedora-burn-yubikey kjumpingcube guestfish milter-greylist mpicxx NaturalDocs arcinfo arcwsrf fp-lit-src-equals-dst pm-powersave twistd symb2po hal-probe-vmmouse edfhed tap-ctl quota db5.3_deadlock dh_make dib3000-watch gpstrans jirb akonadi_googlecontacts_resource tensor_metric base.py expyriment-cli rsyslogd purgestat ConsensusMapNormalizer bgp_print_routes