Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euare-instanceprofilecreate gkrellm zic htmkdir mingw32-configure x86_64-w64-mingw32-dllwrap mydnsexport-mysql plxload varying-packing-simple celerybeat ipcontroller ctangle ccrypt clstr_rev charactermanaj dom-safe-pull exifprobe aicasm gaduhistory gappletviewer-4.9 routel dnginfo getfem-config prima-gencls librecad findrange pkfilterascii bits.py snappuller-disable xmms2d