Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ansible-pull dzedit lpunlock g_gmxcheck_d smpdump myproxy-admin-change-pass pcl_hdl_grabber update-data.php get-renderbuffer-internalformat rendercheck rngd samba-regedit sdcc-makebin a2ping uml_net vcf-fix-ploidy atig cnrun hexedit typelib.py klog tolua mlpack_perceptron ingests mpcdec nc.traditional pyFAI-average setfilecon springgraph ulatency-gui