Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

fwknopd g_dielectric_d i3status pbm2g3 mozroots netgen-mesher getuniform-01 sg_rbuf pwconv x3270 xhost create_bmp_for_stripline_coupler bindechexascii citmail ewfmount freefoam-moveDynamicMesh gapi3-parser bcp get.pl lp-grab-attachments mergelog make_emperor.py sensible-mda tp512cvt hr.pl TMscore tora upnp-inspector uqwk.nntp verilator