Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cmake-fedora-pkgdb gpaw-upfplot qhold analyze substrings.pl lib3ds-config memstat fence_legacy xmltidy ext_framebuffer_multisample_blit_scaled-blit-scaled qml grpconv cweave colcrt ioprof basename ex3_initiator wlmscpfs droopy rmiregistry kamdbctl futex-contention-report yuvkineco simul-gridmap neutron-hyperv-agent orbd pocketsphinx_batch split_libraries_fastq.py quickml-analog sfmtcvt