Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

antRun objdump enumdir_chmLib condor_findhost ddrescue runcgi.sh exonerate fedfs-create-replication gxps pic2graph demangle malrul mysqlserverclone upsmon corelist pw.x_openmpi rabbitvcs mftext GOSA feattext konwert freenect-glpclview ytdl ocf-tester scsi-config sg_rep_zones vdb-dump.2.3.5 udisks-tcp-bridge vdesk yubikeyd