Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objcopy nm img2txt sdiff h5mkgrp po2xml ldminfod gen-compressed-teximage lodclamp-between-max pixeltool-qt5 scorep staprun tpm_mkuuid SpecularSpheres syf amavisd-snmp-subagent-zmq smmapd ebook-speaker ecaccess-event-send antenv.cmd freefoam-star4ToFoam i686-w64-mingw32-gnatlink-posix hexgplc-iso sqlbox osinfo-query somnec partclone.reiser4 pcl_openni_klt micro_razers tar-restore