Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

attr ccze-cssdump sha256sum wc era_invalidate cleanarch gnatprep g++ kni_keycontrol pilot-install-user narcissus.app-serve assistant-qt5 pdf_callbacks qhold-torque db5.1_stat dcmqrti freefoam-simple ftpcp mkbimage jparse masqmail miraconvert y4munsharp Mono.Cecil.Pdb.dll qsampler rabbiter tao tcextract winebuild xen-list-images