Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

BackupPC_restore globus-job-clean virt-df mkntfs .sshd.hmac pmcheck source-highlight-esc.sh fake_mld26 aa-cleanprof binkdlogstat afetch sdcdb dctopnm dictfmt drbl4imp start.src fastaq_split_by_base_count con2fbmap fping hpc resizer gyoto elementary_config simplecal.pl tulip-config asntool qmail-local sc_attach storeBackupCheckBackup unmass