Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

nm sha1sum euare-userlistbypath vp8_postproc nfdump express ppod2latex pyhoca-gui pyuic4 pbs_server arm-linux-gnueabi-objcopy cereal-admin dbskkd-cdb ecaccess-cosinfo xps_exc fxcyberjack fndelt fd2c db.select hxname2id hm-braindump micro-inetd nepomukcleaner chcp nnusage pt-index-usage sb2-start-qemuserver mcfirst totalopenstation-cli-parser yokadi