Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

conmux cache_dump qrdel mzip pmsleep spnavd_ctl bg5+latex lacheck traceroute setsid vcf-sort viewgam autoconf2.13 mhgui debram chroot.fakechroot gc-analyze-4.9 htp create-bridge-sql.pl msvmocas pmt-fd0ssh polarssl_cert_app stxxl_tool pmlogextract rfdump gtst-int32 ptex2pdf themonospot wmforecast xfce4-dict