Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-coulomb synctest qselect-ge mpitests-osu_scatter glsl-fs-loop copy-from-journal pocompendium partx xapian-metadata aevol_misc_gene_families blast2 check_postgres_database_size mixer disk-manager dlint fastforward condor_credd ibus-sharada-braille lldb nyancat esyslog pcl_openni_boundary_estimation pmsignal profnet_norsnet relion_star_printtable msh2geo pdbtxt2html analyzeinfo logfetch zita-lrx