Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

nm euare-userlistkeys nsdb-delete-fsl festival_server fsvs hpcdtoppm nrsysmond pcl_demean_cloud fbo-generatemipmap-3d wannier_ham.x_mpich svnadmin get_module typespeed webcam acpitail arm-none-eabi-objcopy chaosreader touch dictdconfig dnaclust-ref needleall faust2mathviewer forge_run_job perl-nocem logstalgia nmzmerge nuitka sdasrab sweepgen xsil2graphics2