Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

agr fastavalidcds gnuplot-wx g.mkfontcap g_editconf_d ibacm ipicmg ncftpls rmkdepend snapraid buildtorrent mat2dof comigrate dphys-config-altern-xterminal freefoam-coalChemistry jdb gift-modify-distance-matrix hackrf_si5351c ndpiReader osggeometry prayer psppire pudb3 pviews3 t22out.txt.gz slonik_update_nodes starpu_codelet_profile texmaker xorp_rip zope-sendmail