Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

lpq.cups distccmon-gnome h5copy kmk_test llc dlist-fdo3129-01 plymouth-log-viewer rarian-sk-gen-uuid rpmgraph totem-video-thumbnailer pbd agave awffull_history_regen bindechexascii glm conduit-client e2tail freefoam-surfaceAutoPatch gcrystal-0.14 xgsch2pcb ido2db stringextractor live-f1 mouseemu nvtv tspidmapper pcl_morph tesd tree-ppuzzle xiphos