Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

man4x glite-lb-notify pllist ronn-nodejs ntfscp onionshare-gui pspax imp-bounce-spam po2ts echo aa-mergeprof sdcclib lpc msbar bardecode flashcache_destroy gfan_buchberger grdproject hatari intel_dump_decode polarssl_gen_random_ctr_drbg tulip-config mate-cpufreq-selector gss_clnt_send_err mark_service_failed lqt_transcode recovermov atk6-sendpeesmp6 wrap..exec text2pcap