Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph-create-keys dfbmaster hexchat kmk_sleep kcoloredit kfind mtp-delfile yac2ncid glsl-bindattriblocation unpigz pq2-ls regedit xpr argus targen ecaccess-job-list griffith gshared nfc-mfclassic metapixel-sizesort external-ip mkfs.nilfs2 collectiongain tifffile qmail-smtpd tyalpha tree-puzzle wmwork yubiserver zivot